the Scotswoman does not scram ligne.
sent1: if the Blimp is a patience or it is feudatory or both the Scotswoman is not mercuric. sent2: The guardhouse does not scram Blimp. sent3: the Scotswoman is not fenestral if it blisters. sent4: something does not scram ligne if it is not fenestral. sent5: if that something is not a blister and it does not outsail guardhouse does not hold then that it is not fenestral is not wrong. sent6: if the ribose is mercuric then the Blimp is not feudatory. sent7: the fact that the Scotswoman is a kind of a blister that does not outsail guardhouse is not true if it is not mercuric. sent8: the Blimp does not outsail infiltration but it is bolometric if the fact that it does not scram guardhouse is not wrong. sent9: the fact that something is not a kind of a blister and it does not outsail guardhouse is not correct if it is not mercuric. sent10: that the Blimp does not outsail infiltration but it is bolometric is not right if it is not a patience.
void -> assump1: Let's assume that that the Blimp is not a patience is true.; sent10 & assump1 -> int1: that that the Blimp does not outsail infiltration but it is bolometric is wrong is correct.; sent9 -> int2: that the Scotswoman is not a blister and it does not outsail guardhouse does not hold if it is not mercuric.; sent5 -> int3: if the fact that the Scotswoman is not a blister and it does not outsail guardhouse is not right it is not fenestral.; sent4 -> int4: if the Scotswoman is not fenestral then it does not scram ligne.;
the Scotswoman does scram ligne.
$hypothesis$ = the Scotswoman does not scram ligne. ; $context$ = sent1: if the Blimp is a patience or it is feudatory or both the Scotswoman is not mercuric. sent2: The guardhouse does not scram Blimp. sent3: the Scotswoman is not fenestral if it blisters. sent4: something does not scram ligne if it is not fenestral. sent5: if that something is not a blister and it does not outsail guardhouse does not hold then that it is not fenestral is not wrong. sent6: if the ribose is mercuric then the Blimp is not feudatory. sent7: the fact that the Scotswoman is a kind of a blister that does not outsail guardhouse is not true if it is not mercuric. sent8: the Blimp does not outsail infiltration but it is bolometric if the fact that it does not scram guardhouse is not wrong. sent9: the fact that something is not a kind of a blister and it does not outsail guardhouse is not correct if it is not mercuric. sent10: that the Blimp does not outsail infiltration but it is bolometric is not right if it is not a patience. ; $proof$ = 
void -> assump1: Let's assume that that the Blimp is not a patience is true.; sent10 & assump1 -> int1: that that the Blimp does not outsail infiltration but it is bolometric is wrong is correct.; sent9 -> int2: that the Scotswoman is not a blister and it does not outsail guardhouse does not hold if it is not mercuric.; sent5 -> int3: if the fact that the Scotswoman is not a blister and it does not outsail guardhouse is not right it is not fenestral.; sent4 -> int4: if the Scotswoman is not fenestral then it does not scram ligne.; __UNKNOWN__