the phensuximide does not equilibrate.
sent1: something is a worthwhileness if it is a kind of a catastrophe. sent2: the pairing is both not gastrointestinal and a trombone. sent3: the pairing dilates if it is a kind of a worthwhileness. sent4: the pairing is not a Dagan if it is non-gastrointestinal. sent5: if the fact that the pairing is a kind of a Dagan and it does dilate is not false the fact that it is a catastrophe is not incorrect. sent6: something is not a Dagan but it dilates if it is not gastrointestinal. sent7: the pairing is not sinistral. sent8: if the snorter is a worthwhileness and does not transaminate synapse that the pairing is not a catastrophe hold. sent9: that the phensuximide is a worthwhileness is correct if it does equilibrate. sent10: the pairing does not letter risk. sent11: the snorter is a kind of a worthwhileness that does not transaminate synapse if the phensuximide is a worthwhileness. sent12: the pairing is a trombone. sent13: something is a catastrophe if it is not a kind of a Dagan and dilates. sent14: the phensuximide equilibrates if the snorter is a worthwhileness.
void -> assump1: Let's assume that the phensuximide does equilibrate.; sent9 & assump1 -> int1: the phensuximide is a worthwhileness.; int1 & sent11 -> int2: the snorter is a kind of a worthwhileness and does not transaminate synapse.; int2 & sent8 -> int3: the pairing is not a catastrophe.; sent13 -> int4: the pairing is a catastrophe if it is not a kind of a Dagan and it dilates.; sent6 -> int5: if the pairing is not gastrointestinal it is not a Dagan and it dilates.; sent2 -> int6: the pairing is not gastrointestinal.; int5 & int6 -> int7: the pairing is not a kind of a Dagan but it dilates.; int4 & int7 -> int8: the pairing is a kind of a catastrophe.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the phensuximide equilibrates.
sent1 -> int10: if the snorter is a kind of a catastrophe then it is a worthwhileness.;
$hypothesis$ = the phensuximide does not equilibrate. ; $context$ = sent1: something is a worthwhileness if it is a kind of a catastrophe. sent2: the pairing is both not gastrointestinal and a trombone. sent3: the pairing dilates if it is a kind of a worthwhileness. sent4: the pairing is not a Dagan if it is non-gastrointestinal. sent5: if the fact that the pairing is a kind of a Dagan and it does dilate is not false the fact that it is a catastrophe is not incorrect. sent6: something is not a Dagan but it dilates if it is not gastrointestinal. sent7: the pairing is not sinistral. sent8: if the snorter is a worthwhileness and does not transaminate synapse that the pairing is not a catastrophe hold. sent9: that the phensuximide is a worthwhileness is correct if it does equilibrate. sent10: the pairing does not letter risk. sent11: the snorter is a kind of a worthwhileness that does not transaminate synapse if the phensuximide is a worthwhileness. sent12: the pairing is a trombone. sent13: something is a catastrophe if it is not a kind of a Dagan and dilates. sent14: the phensuximide equilibrates if the snorter is a worthwhileness. ; $proof$ = 
void -> assump1: Let's assume that the phensuximide does equilibrate.; sent9 & assump1 -> int1: the phensuximide is a worthwhileness.; int1 & sent11 -> int2: the snorter is a kind of a worthwhileness and does not transaminate synapse.; int2 & sent8 -> int3: the pairing is not a catastrophe.; sent13 -> int4: the pairing is a catastrophe if it is not a kind of a Dagan and it dilates.; sent6 -> int5: if the pairing is not gastrointestinal it is not a Dagan and it dilates.; sent2 -> int6: the pairing is not gastrointestinal.; int5 & int6 -> int7: the pairing is not a kind of a Dagan but it dilates.; int4 & int7 -> int8: the pairing is a kind of a catastrophe.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__