the mint is a trigonometrician.
sent1: the mint is a kind of a duckpin if a chickenshit is a kind of a Leipzig. sent2: the Malian is not a kind of a tyrannosaur and it does not slog rainstorm. sent3: something is not a kind of a trigonometrician if it is a kind of a duckpin and it is a kind of a tyrannosaur. sent4: if the Malian is not a tyrannosaur and it does not slog rainstorm that the mint is not a tyrannosaur is not right. sent5: there is something such that the fact that it is a chickenshit and it is a Leipzig is not false.
sent5 & sent1 -> int1: the mint is a duckpin.; sent4 & sent2 -> int2: the mint is a tyrannosaur.; int1 & int2 -> int3: the mint is a duckpin and it is a tyrannosaur.; sent3 -> int4: the mint is not a kind of a trigonometrician if it is a duckpin and it is a tyrannosaur.; int3 & int4 -> hypothesis;
$hypothesis$ = the mint is a trigonometrician. ; $context$ = sent1: the mint is a kind of a duckpin if a chickenshit is a kind of a Leipzig. sent2: the Malian is not a kind of a tyrannosaur and it does not slog rainstorm. sent3: something is not a kind of a trigonometrician if it is a kind of a duckpin and it is a kind of a tyrannosaur. sent4: if the Malian is not a tyrannosaur and it does not slog rainstorm that the mint is not a tyrannosaur is not right. sent5: there is something such that the fact that it is a chickenshit and it is a Leipzig is not false. ; $proof$ = 
sent5 & sent1 -> int1: the mint is a duckpin.; sent4 & sent2 -> int2: the mint is a tyrannosaur.; int1 & int2 -> int3: the mint is a duckpin and it is a tyrannosaur.; sent3 -> int4: the mint is not a kind of a trigonometrician if it is a duckpin and it is a tyrannosaur.; int3 & int4 -> hypothesis; __DISPROVED__