the perigee does not gutter alumroot.
sent1: if the fact that the footstool trusses marlin is not incorrect then the missionary does not truss waver and does not trusses marlin. sent2: the catostomid does not barbarize. sent3: the quinone does not truss marlin if the footstool does truss Melanoplus. sent4: if the fact that something is a Tanoan and it does truss marlin does not hold then it does not truss marlin. sent5: something trusses rummy. sent6: the fact that if the catostomid is a kind of a trigger that does not truss Melanoplus the missionary trusses waver is not wrong. sent7: if the quinone trusses Melanoplus the catostomid is a kind of a trigger but it does not barbarize. sent8: if the footstool trusses waver then the missionary does not truss marlin. sent9: The Melanoplus trusses quinone. sent10: the quinone trusses Melanoplus. sent11: the catostomid gutters alumroot and does not barbarize. sent12: the quinone does not truss waver if the catostomid trusses rummy or is not a feldspar or both. sent13: the footstool does truss marlin if the catostomid is a trigger but it does not barbarize. sent14: if the missionary does truss waver and does not truss marlin then that the perigee gutters alumroot is not false. sent15: if that the perigee does truss marlin but it does not truss Melanoplus is not right it does not gutter alumroot. sent16: if the missionary does not truss waver and does not truss marlin the perigee gutters alumroot. sent17: if the missionary does truss waver and does not barbarize the catostomid does truss marlin. sent18: if the perigee trusses waver and trusses marlin the footstool does gutter alumroot. sent19: if the perigee does not gutter alumroot and is a trigger then the catostomid does truss marlin. sent20: the catostomid does gutter alumroot.
sent7 & sent10 -> int1: the catostomid is a trigger but it does not barbarize.; sent13 & int1 -> int2: the footstool does truss marlin.; sent1 & int2 -> int3: the missionary does not truss waver and does not truss marlin.; sent16 & int3 -> hypothesis;
the perigee does not gutter alumroot.
sent4 -> int4: the quinone does not truss marlin if the fact that it is a Tanoan and it truss marlin is not correct.;
$hypothesis$ = the perigee does not gutter alumroot. ; $context$ = sent1: if the fact that the footstool trusses marlin is not incorrect then the missionary does not truss waver and does not trusses marlin. sent2: the catostomid does not barbarize. sent3: the quinone does not truss marlin if the footstool does truss Melanoplus. sent4: if the fact that something is a Tanoan and it does truss marlin does not hold then it does not truss marlin. sent5: something trusses rummy. sent6: the fact that if the catostomid is a kind of a trigger that does not truss Melanoplus the missionary trusses waver is not wrong. sent7: if the quinone trusses Melanoplus the catostomid is a kind of a trigger but it does not barbarize. sent8: if the footstool trusses waver then the missionary does not truss marlin. sent9: The Melanoplus trusses quinone. sent10: the quinone trusses Melanoplus. sent11: the catostomid gutters alumroot and does not barbarize. sent12: the quinone does not truss waver if the catostomid trusses rummy or is not a feldspar or both. sent13: the footstool does truss marlin if the catostomid is a trigger but it does not barbarize. sent14: if the missionary does truss waver and does not truss marlin then that the perigee gutters alumroot is not false. sent15: if that the perigee does truss marlin but it does not truss Melanoplus is not right it does not gutter alumroot. sent16: if the missionary does not truss waver and does not truss marlin the perigee gutters alumroot. sent17: if the missionary does truss waver and does not barbarize the catostomid does truss marlin. sent18: if the perigee trusses waver and trusses marlin the footstool does gutter alumroot. sent19: if the perigee does not gutter alumroot and is a trigger then the catostomid does truss marlin. sent20: the catostomid does gutter alumroot. ; $proof$ = 
sent7 & sent10 -> int1: the catostomid is a trigger but it does not barbarize.; sent13 & int1 -> int2: the footstool does truss marlin.; sent1 & int2 -> int3: the missionary does not truss waver and does not truss marlin.; sent16 & int3 -> hypothesis; __DISPROVED__