if the moss is unripe the supertanker does not pique Arlington.
sent1: the supertanker piques Arlington if that the aigrette does bawl and is nidifugous does not hold. sent2: the moss is not a Italic if it is unripe. sent3: the aigrette is not unripe. sent4: that the aigrette does bawl and is nidifugous is incorrect if the moss is not Italic. sent5: if the moss does bawl then the aigrette is not unripe. sent6: that the supertanker does not pique Arlington is not false if that the aigrette does bawl and it is nidifugous is not correct. sent7: the moss is nidifugous. sent8: the supertanker does not pique Allentown.
void -> assump1: Let's assume that the moss is unripe.; sent2 & assump1 -> int1: the moss is not a Italic.; sent4 & int1 -> int2: the fact that the aigrette bawls and is nidifugous is false.; sent6 & int2 -> int3: that the supertanker does not pique Arlington is not incorrect.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the moss is unripe the supertanker does not pique Arlington. ; $context$ = sent1: the supertanker piques Arlington if that the aigrette does bawl and is nidifugous does not hold. sent2: the moss is not a Italic if it is unripe. sent3: the aigrette is not unripe. sent4: that the aigrette does bawl and is nidifugous is incorrect if the moss is not Italic. sent5: if the moss does bawl then the aigrette is not unripe. sent6: that the supertanker does not pique Arlington is not false if that the aigrette does bawl and it is nidifugous is not correct. sent7: the moss is nidifugous. sent8: the supertanker does not pique Allentown. ; $proof$ = 
void -> assump1: Let's assume that the moss is unripe.; sent2 & assump1 -> int1: the moss is not a Italic.; sent4 & int1 -> int2: the fact that the aigrette bawls and is nidifugous is false.; sent6 & int2 -> int3: that the supertanker does not pique Arlington is not incorrect.; [assump1] & int3 -> hypothesis; __PROVED__