the tailor-made is not true-false.
sent1: if something jumps Pinnotheridae it is true-false. sent2: the dotard is not a gastroenterology but bibliophilic. sent3: if the fact that the dotard is non-caesural and/or it demonstrates does not hold the tailor-made jumps Pinnotheridae. sent4: the fact that something is not caesural and/or it does demonstrate is not correct if it is not a kind of a gastroenterology.
sent4 -> int1: if the dotard is not a kind of a gastroenterology the fact that it either is not caesural or demonstrates or both is false.; sent2 -> int2: the dotard is not a kind of a gastroenterology.; int1 & int2 -> int3: that the dotard either is not caesural or demonstrates or both is wrong.; int3 & sent3 -> int4: the fact that the tailor-made jumps Pinnotheridae is correct.; sent1 -> int5: the tailor-made is not non-true-false if it jumps Pinnotheridae.; int4 & int5 -> hypothesis;
$hypothesis$ = the tailor-made is not true-false. ; $context$ = sent1: if something jumps Pinnotheridae it is true-false. sent2: the dotard is not a gastroenterology but bibliophilic. sent3: if the fact that the dotard is non-caesural and/or it demonstrates does not hold the tailor-made jumps Pinnotheridae. sent4: the fact that something is not caesural and/or it does demonstrate is not correct if it is not a kind of a gastroenterology. ; $proof$ = 
sent4 -> int1: if the dotard is not a kind of a gastroenterology the fact that it either is not caesural or demonstrates or both is false.; sent2 -> int2: the dotard is not a kind of a gastroenterology.; int1 & int2 -> int3: that the dotard either is not caesural or demonstrates or both is wrong.; int3 & sent3 -> int4: the fact that the tailor-made jumps Pinnotheridae is correct.; sent1 -> int5: the tailor-made is not non-true-false if it jumps Pinnotheridae.; int4 & int5 -> hypothesis; __DISPROVED__