the transgression is exaugural.
sent1: something does heft Nothofagus or it is postnatal or both if it is not a call. sent2: the paraplegic does not cohere luge. sent3: if there is something such that it does not heft Sunday then the paraplegic is non-inclusive and does not ambush. sent4: something is not microeconomic if it is not handleless and it does not excel backhand. sent5: if there is something such that it is not inclusive then the paraplegic is not exaugural. sent6: if the Edwardian is non-auscultatory then the fact that the autotype does not excel chop and is a call is not true. sent7: there is something such that it does not heft Sunday. sent8: if the fact that something does not excel chop and is a kind of a call is not true then it does not call. sent9: there exists something such that it is not supportive. sent10: the paraplegic is not inclusive. sent11: the transgression is not postnatal if something does not call. sent12: if the fact that the paraplegic is non-inclusive and does not heft Sunday is incorrect then the transgression is exaugural. sent13: something that does not heft Nothofagus and/or is a kind of a call is not exaugural. sent14: the Edwardian is not auscultatory. sent15: if the autotype does heft Nothofagus then the sustenance does philander. sent16: a non-inclusive thing that does not ambush does not philander. sent17: if the bandsman is non-postnatal then the transgression does not heft Nothofagus or it calls or both. sent18: there is something such that it is non-postnatal. sent19: the bandsman is not postnatal if there is something such that it does not philander. sent20: something does not philander if the fact that it is inclusive and it is not an ambush is not incorrect.
sent7 & sent3 -> int1: the paraplegic is not inclusive and it is not a kind of an ambush.; sent16 -> int2: if the paraplegic is not inclusive and it is not a kind of an ambush then it does not philander.; int1 & int2 -> int3: the paraplegic does not philander.; int3 -> int4: there is something such that it does not philander.; int4 & sent19 -> int5: the bandsman is not postnatal.; int5 & sent17 -> int6: either the transgression does not heft Nothofagus or it is a call or both.; sent13 -> int7: the fact that the transgression is not exaugural if the transgression does not heft Nothofagus and/or is a call is right.; int6 & int7 -> hypothesis;
the transgression is exaugural.
sent1 -> int8: the autotype either hefts Nothofagus or is postnatal or both if it is not a call.; sent8 -> int9: if the fact that the autotype does not excel chop but it is a kind of a call is incorrect then it is not a kind of a call.; sent6 & sent14 -> int10: the fact that the autotype does not excel chop and is a call is not correct.; int9 & int10 -> int11: the autotype is not a call.; int8 & int11 -> int12: the autotype hefts Nothofagus and/or it is postnatal.;
$hypothesis$ = the transgression is exaugural. ; $context$ = sent1: something does heft Nothofagus or it is postnatal or both if it is not a call. sent2: the paraplegic does not cohere luge. sent3: if there is something such that it does not heft Sunday then the paraplegic is non-inclusive and does not ambush. sent4: something is not microeconomic if it is not handleless and it does not excel backhand. sent5: if there is something such that it is not inclusive then the paraplegic is not exaugural. sent6: if the Edwardian is non-auscultatory then the fact that the autotype does not excel chop and is a call is not true. sent7: there is something such that it does not heft Sunday. sent8: if the fact that something does not excel chop and is a kind of a call is not true then it does not call. sent9: there exists something such that it is not supportive. sent10: the paraplegic is not inclusive. sent11: the transgression is not postnatal if something does not call. sent12: if the fact that the paraplegic is non-inclusive and does not heft Sunday is incorrect then the transgression is exaugural. sent13: something that does not heft Nothofagus and/or is a kind of a call is not exaugural. sent14: the Edwardian is not auscultatory. sent15: if the autotype does heft Nothofagus then the sustenance does philander. sent16: a non-inclusive thing that does not ambush does not philander. sent17: if the bandsman is non-postnatal then the transgression does not heft Nothofagus or it calls or both. sent18: there is something such that it is non-postnatal. sent19: the bandsman is not postnatal if there is something such that it does not philander. sent20: something does not philander if the fact that it is inclusive and it is not an ambush is not incorrect. ; $proof$ = 
sent7 & sent3 -> int1: the paraplegic is not inclusive and it is not a kind of an ambush.; sent16 -> int2: if the paraplegic is not inclusive and it is not a kind of an ambush then it does not philander.; int1 & int2 -> int3: the paraplegic does not philander.; int3 -> int4: there is something such that it does not philander.; int4 & sent19 -> int5: the bandsman is not postnatal.; int5 & sent17 -> int6: either the transgression does not heft Nothofagus or it is a call or both.; sent13 -> int7: the fact that the transgression is not exaugural if the transgression does not heft Nothofagus and/or is a call is right.; int6 & int7 -> hypothesis; __DISPROVED__