something is a kind of non-entomological thing that is not semicentennial.
sent1: if something is a squeak and/or it does scrimp the chorister is not entomological. sent2: something is a kind of non-entomological thing that is a semicentennial. sent3: the chorister is not semicentennial. sent4: the cress is a papacy and a squeak. sent5: the cress is a papacy.
sent4 -> int1: the cress is a squeak.; int1 -> int2: the cress either is a squeak or scrimps or both.; int2 -> int3: something is a kind of a squeak and/or scrimps.; int3 & sent1 -> int4: the chorister is not entomological.; int4 & sent3 -> int5: the chorister is not entomological and it is not a semicentennial.; int5 -> hypothesis;
$hypothesis$ = something is a kind of non-entomological thing that is not semicentennial. ; $context$ = sent1: if something is a squeak and/or it does scrimp the chorister is not entomological. sent2: something is a kind of non-entomological thing that is a semicentennial. sent3: the chorister is not semicentennial. sent4: the cress is a papacy and a squeak. sent5: the cress is a papacy. ; $proof$ = 
sent4 -> int1: the cress is a squeak.; int1 -> int2: the cress either is a squeak or scrimps or both.; int2 -> int3: something is a kind of a squeak and/or scrimps.; int3 & sent1 -> int4: the chorister is not entomological.; int4 & sent3 -> int5: the chorister is not entomological and it is not a semicentennial.; int5 -> hypothesis; __PROVED__