the dryopithecine is not a kind of a grogram.
sent1: there is something such that the fact that it is cybernetic and it does shuck hold. sent2: the dryopithecine is a kind of a grogram if the selsyn does not carpet fortuitousness and it is not unknowable. sent3: the fact that if the fact that either something does carpet four-in-hand or it does not polish or both is not true it is not unknowable is not false. sent4: the dryopithecine is not acanthotic. sent5: that the selsyn is acanthotic and/or it is not a kind of a polish does not hold if the one-spot does not polish. sent6: the one-spot is not a kickstand if that it is a wrestler and it is acanthotic is wrong. sent7: that the selsyn does not carpet fortuitousness hold if there exists something such that the fact that it is a hematocrit and it carpet fortuitousness is not true. sent8: that the one-spot is a wrestler and is acanthotic is false. sent9: that the hedonist is a kind of a hematocrit that is a slop hold. sent10: the one-spot is not a polish if it is not a kickstand but a abstractionist. sent11: there is something such that that it is a hematocrit and it carpets fortuitousness is incorrect. sent12: the one-spot is both not non-cherty and a abstractionist. sent13: the one-spot does not polish if it is not a wrestler and it does carpet four-in-hand. sent14: if the one-spot is not a polish that the selsyn either does carpet four-in-hand or is not a polish or both is not correct.
sent12 -> int1: the one-spot is a abstractionist.; sent6 & sent8 -> int2: the one-spot is not a kickstand.; int1 & int2 -> int3: the one-spot is not a kickstand and is a abstractionist.; int3 & sent10 -> int4: the one-spot is not a kind of a polish.; int4 & sent14 -> int5: the fact that the selsyn does carpet four-in-hand and/or it does not polish is wrong.; sent3 -> int6: the selsyn is not unknowable if the fact that it does carpet four-in-hand and/or is not a polish is incorrect.; int5 & int6 -> int7: the selsyn is not unknowable.; sent11 & sent7 -> int8: the selsyn does not carpet fortuitousness.; int7 & int8 -> int9: the selsyn does not carpet fortuitousness and it is not unknowable.; int9 & sent2 -> hypothesis;
$hypothesis$ = the dryopithecine is not a kind of a grogram. ; $context$ = sent1: there is something such that the fact that it is cybernetic and it does shuck hold. sent2: the dryopithecine is a kind of a grogram if the selsyn does not carpet fortuitousness and it is not unknowable. sent3: the fact that if the fact that either something does carpet four-in-hand or it does not polish or both is not true it is not unknowable is not false. sent4: the dryopithecine is not acanthotic. sent5: that the selsyn is acanthotic and/or it is not a kind of a polish does not hold if the one-spot does not polish. sent6: the one-spot is not a kickstand if that it is a wrestler and it is acanthotic is wrong. sent7: that the selsyn does not carpet fortuitousness hold if there exists something such that the fact that it is a hematocrit and it carpet fortuitousness is not true. sent8: that the one-spot is a wrestler and is acanthotic is false. sent9: that the hedonist is a kind of a hematocrit that is a slop hold. sent10: the one-spot is not a polish if it is not a kickstand but a abstractionist. sent11: there is something such that that it is a hematocrit and it carpets fortuitousness is incorrect. sent12: the one-spot is both not non-cherty and a abstractionist. sent13: the one-spot does not polish if it is not a wrestler and it does carpet four-in-hand. sent14: if the one-spot is not a polish that the selsyn either does carpet four-in-hand or is not a polish or both is not correct. ; $proof$ = 
sent12 -> int1: the one-spot is a abstractionist.; sent6 & sent8 -> int2: the one-spot is not a kickstand.; int1 & int2 -> int3: the one-spot is not a kickstand and is a abstractionist.; int3 & sent10 -> int4: the one-spot is not a kind of a polish.; int4 & sent14 -> int5: the fact that the selsyn does carpet four-in-hand and/or it does not polish is wrong.; sent3 -> int6: the selsyn is not unknowable if the fact that it does carpet four-in-hand and/or is not a polish is incorrect.; int5 & int6 -> int7: the selsyn is not unknowable.; sent11 & sent7 -> int8: the selsyn does not carpet fortuitousness.; int7 & int8 -> int9: the selsyn does not carpet fortuitousness and it is not unknowable.; int9 & sent2 -> hypothesis; __DISPROVED__