the serger is not a kind of an attendance but it is sentential.
sent1: something is a Ismaili and is insurrectional if it is not a Feynman. sent2: the publican is not a Gidar and/or does not preempt pressed. sent3: something is both not an attendance and sentential if it is not a kind of a Triassic. sent4: the fact that something is both not an attendance and sentential is wrong if it is a Triassic. sent5: the serger is not a Triassic if something is not a Gidar and/or does not preempt pressed. sent6: the Arabian putters. sent7: the serger does not preempt pressed if something is not a Triassic or it is not sentential or both. sent8: if the squeaker is intercellular it is not a kind of a Feynman or it does fornicate or both. sent9: the publican does not preempt attenuation. sent10: the baker is not a scut. sent11: if the squeaker is retentive and it is a Ismaili the fact that the bristlegrass does not iterate is not wrong. sent12: that something is not a kind of a Feynman if it is not a Feynman and/or it does fornicate hold. sent13: the serger is a Tobit that is not non-Triassic if the bristlegrass does not iterate. sent14: the publican is not a kind of a Gidar and/or it is sentential. sent15: if something is not a kind of a sailmaker it is not a kind of an outlet and jellifies hydrocele. sent16: the publican is not Triassic and/or it is a kind of a Gidar. sent17: something does not preempt rowdiness if it does not jellify Strickland. sent18: the squeaker is retentive if the Arabian does putter.
sent2 -> int1: there is something such that the fact that it is not a Gidar or does not preempt pressed or both hold.; int1 & sent5 -> int2: the serger is not a kind of a Triassic.; sent3 -> int3: the serger is not a kind of an attendance but it is sentential if it is not a Triassic.; int2 & int3 -> hypothesis;
the fact that the serger is both not an attendance and sentential is wrong.
sent4 -> int4: if the serger is a kind of a Triassic then that it is not an attendance and it is sentential is wrong.; sent18 & sent6 -> int5: the squeaker is retentive.; sent1 -> int6: if the squeaker is not a Feynman then it is a Ismaili that is insurrectional.; sent12 -> int7: the squeaker is not a Feynman if it is not a Feynman and/or it does fornicate.;
$hypothesis$ = the serger is not a kind of an attendance but it is sentential. ; $context$ = sent1: something is a Ismaili and is insurrectional if it is not a Feynman. sent2: the publican is not a Gidar and/or does not preempt pressed. sent3: something is both not an attendance and sentential if it is not a kind of a Triassic. sent4: the fact that something is both not an attendance and sentential is wrong if it is a Triassic. sent5: the serger is not a Triassic if something is not a Gidar and/or does not preempt pressed. sent6: the Arabian putters. sent7: the serger does not preempt pressed if something is not a Triassic or it is not sentential or both. sent8: if the squeaker is intercellular it is not a kind of a Feynman or it does fornicate or both. sent9: the publican does not preempt attenuation. sent10: the baker is not a scut. sent11: if the squeaker is retentive and it is a Ismaili the fact that the bristlegrass does not iterate is not wrong. sent12: that something is not a kind of a Feynman if it is not a Feynman and/or it does fornicate hold. sent13: the serger is a Tobit that is not non-Triassic if the bristlegrass does not iterate. sent14: the publican is not a kind of a Gidar and/or it is sentential. sent15: if something is not a kind of a sailmaker it is not a kind of an outlet and jellifies hydrocele. sent16: the publican is not Triassic and/or it is a kind of a Gidar. sent17: something does not preempt rowdiness if it does not jellify Strickland. sent18: the squeaker is retentive if the Arabian does putter. ; $proof$ = 
sent2 -> int1: there is something such that the fact that it is not a Gidar or does not preempt pressed or both hold.; int1 & sent5 -> int2: the serger is not a kind of a Triassic.; sent3 -> int3: the serger is not a kind of an attendance but it is sentential if it is not a Triassic.; int2 & int3 -> hypothesis; __PROVED__