the fact that the porpoise is not substantival hold.
sent1: the fact that the canton is tearless but it does not lather hand is incorrect if it does hurtle Descurainia. sent2: something is not a kind of a Sardinian if the fact that it is a dart that does hurtle Descurainia is not true. sent3: the canton is not a Sardinian if there is something such that that it is tearless but not courteous is not true. sent4: if the mishap does not lather hand the porpoise is not substantival. sent5: if the mishap lathers hand that it is a kind of tearless thing that is not courteous is not right. sent6: there exists something such that it is not a kind of a Zapodidae. sent7: that the mishap does dart and it hurtles Descurainia is not true if there exists something such that it does parlay. sent8: the canton is a kind of Sardinian thing that does hurtle Descurainia. sent9: if something is not a Zapodidae the canton is a parlay and it is a Spirulidae.
void -> assump1: Let's assume that the mishap does lather hand.; sent5 & assump1 -> int1: that the mishap is tearless but it is not courteous is false.; int1 -> int2: there exists something such that the fact that it is tearless and is not courteous is wrong.; int2 & sent3 -> int3: the canton is not a Sardinian.; sent8 -> int4: the canton is not non-Sardinian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mishap does not lather hand.; int6 & sent4 -> hypothesis;
that the porpoise is substantival is true.
sent2 -> int7: the mishap is not Sardinian if the fact that it is a dart and it does hurtle Descurainia is not correct.; sent6 & sent9 -> int8: the canton does parlay and it is a Spirulidae.; int8 -> int9: the canton is a parlay.; int9 -> int10: there exists something such that it does parlay.; int10 & sent7 -> int11: the fact that the mishap does dart and it does hurtle Descurainia is not right.; int7 & int11 -> int12: the mishap is not a kind of a Sardinian.; int12 -> int13: there is something such that it is not a Sardinian.;
$hypothesis$ = the fact that the porpoise is not substantival hold. ; $context$ = sent1: the fact that the canton is tearless but it does not lather hand is incorrect if it does hurtle Descurainia. sent2: something is not a kind of a Sardinian if the fact that it is a dart that does hurtle Descurainia is not true. sent3: the canton is not a Sardinian if there is something such that that it is tearless but not courteous is not true. sent4: if the mishap does not lather hand the porpoise is not substantival. sent5: if the mishap lathers hand that it is a kind of tearless thing that is not courteous is not right. sent6: there exists something such that it is not a kind of a Zapodidae. sent7: that the mishap does dart and it hurtles Descurainia is not true if there exists something such that it does parlay. sent8: the canton is a kind of Sardinian thing that does hurtle Descurainia. sent9: if something is not a Zapodidae the canton is a parlay and it is a Spirulidae. ; $proof$ = 
void -> assump1: Let's assume that the mishap does lather hand.; sent5 & assump1 -> int1: that the mishap is tearless but it is not courteous is false.; int1 -> int2: there exists something such that the fact that it is tearless and is not courteous is wrong.; int2 & sent3 -> int3: the canton is not a Sardinian.; sent8 -> int4: the canton is not non-Sardinian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the mishap does not lather hand.; int6 & sent4 -> hypothesis; __PROVED__