that the perceiver is not genuine and not non-holozoic is not correct.
sent1: if something does cope Kinosternon then it is thoughtless. sent2: that the framer is a reassignment and it does teach does not hold if there exists something such that it does lurch first-nighter. sent3: if the Energy is not thoughtless the perceiver does not cope Kinosternon or does ship or both. sent4: the framer does not lurch first-nighter but it teaches if it is thoughtless. sent5: if the perceiver does not cope Kinosternon or ships or both then it is not genuine. sent6: the perceiver is holozoic. sent7: that the perceiver is not genuine and is holozoic does not hold if the framer does lurch first-nighter. sent8: that the Energy is not thoughtless is not wrong if the fact that the framer is a kind of a reassignment and it does teach is not right. sent9: there is something such that it does lurch first-nighter.
sent9 & sent2 -> int1: that the fact that the framer is a kind of a reassignment and it does teach is incorrect is correct.; int1 & sent8 -> int2: the Energy is not thoughtless.; int2 & sent3 -> int3: the perceiver does not cope Kinosternon and/or it does ship.; int3 & sent5 -> int4: the perceiver is not genuine.; int4 & sent6 -> hypothesis;
the fact that the scrag is not a reassignment is not false.
sent1 -> int5: the framer is thoughtless if it does cope Kinosternon.;
$hypothesis$ = that the perceiver is not genuine and not non-holozoic is not correct. ; $context$ = sent1: if something does cope Kinosternon then it is thoughtless. sent2: that the framer is a reassignment and it does teach does not hold if there exists something such that it does lurch first-nighter. sent3: if the Energy is not thoughtless the perceiver does not cope Kinosternon or does ship or both. sent4: the framer does not lurch first-nighter but it teaches if it is thoughtless. sent5: if the perceiver does not cope Kinosternon or ships or both then it is not genuine. sent6: the perceiver is holozoic. sent7: that the perceiver is not genuine and is holozoic does not hold if the framer does lurch first-nighter. sent8: that the Energy is not thoughtless is not wrong if the fact that the framer is a kind of a reassignment and it does teach is not right. sent9: there is something such that it does lurch first-nighter. ; $proof$ = 
sent9 & sent2 -> int1: that the fact that the framer is a kind of a reassignment and it does teach is incorrect is correct.; int1 & sent8 -> int2: the Energy is not thoughtless.; int2 & sent3 -> int3: the perceiver does not cope Kinosternon and/or it does ship.; int3 & sent5 -> int4: the perceiver is not genuine.; int4 & sent6 -> hypothesis; __DISPROVED__