that the tortoise is a cocksfoot is not wrong.
sent1: if something does not dwarf tannin and/or is not a kind of a trampoline the coachbuilder is not a Apus. sent2: the refractory is vegetal and idealizes docket if the tailgater is non-international. sent3: something is not natal and it is not a Starr. sent4: the neck is not a kind of a Apus. sent5: that something is not international if that it is international and habituates is not right hold. sent6: there is something such that it is non-natal thing that is a kind of a Starr. sent7: if the refractory idealizes docket then it does dwarf tannin and is not a trampoline. sent8: something is a kind of natal thing that is not a kind of a Starr. sent9: if something does idealize docket then it does not dwarf tannin and/or is not a trampoline. sent10: there is something such that that it is not natal is correct. sent11: that the tortoise is not cool is right if it is a kind of a nymph and it is a promise. sent12: the tortoise does not dwarf tannin and is a Apus. sent13: everything is not an intermediate. sent14: something is not a Starr. sent15: if something does cool and it is a Apus it is not a cocksfoot. sent16: the tortoise is a kind of a cool if a non-natal thing is not a Starr. sent17: the fact that the heir-at-law is a cool hold. sent18: the tortoise does not dwarf tannin. sent19: that something is a kind of international thing that habituates does not hold if it is not intermediate.
sent3 & sent16 -> int1: the tortoise is cool.; sent12 -> int2: the tortoise is a Apus.; int1 & int2 -> int3: the tortoise is a kind of cool thing that is a Apus.; sent15 -> int4: if that the tortoise is a cool and it is a Apus is not incorrect it is not a cocksfoot.; int3 & int4 -> hypothesis;
the tortoise is a cocksfoot.
$hypothesis$ = that the tortoise is a cocksfoot is not wrong. ; $context$ = sent1: if something does not dwarf tannin and/or is not a kind of a trampoline the coachbuilder is not a Apus. sent2: the refractory is vegetal and idealizes docket if the tailgater is non-international. sent3: something is not natal and it is not a Starr. sent4: the neck is not a kind of a Apus. sent5: that something is not international if that it is international and habituates is not right hold. sent6: there is something such that it is non-natal thing that is a kind of a Starr. sent7: if the refractory idealizes docket then it does dwarf tannin and is not a trampoline. sent8: something is a kind of natal thing that is not a kind of a Starr. sent9: if something does idealize docket then it does not dwarf tannin and/or is not a trampoline. sent10: there is something such that that it is not natal is correct. sent11: that the tortoise is not cool is right if it is a kind of a nymph and it is a promise. sent12: the tortoise does not dwarf tannin and is a Apus. sent13: everything is not an intermediate. sent14: something is not a Starr. sent15: if something does cool and it is a Apus it is not a cocksfoot. sent16: the tortoise is a kind of a cool if a non-natal thing is not a Starr. sent17: the fact that the heir-at-law is a cool hold. sent18: the tortoise does not dwarf tannin. sent19: that something is a kind of international thing that habituates does not hold if it is not intermediate. ; $proof$ = 
sent3 & sent16 -> int1: the tortoise is cool.; sent12 -> int2: the tortoise is a Apus.; int1 & int2 -> int3: the tortoise is a kind of cool thing that is a Apus.; sent15 -> int4: if that the tortoise is a cool and it is a Apus is not incorrect it is not a cocksfoot.; int3 & int4 -> hypothesis; __DISPROVED__