the algebraist is non-intramuscular.
sent1: that the Trilby is costal hold. sent2: the algebraist does fumble pharisee if the Trilby is nonparametric. sent3: the fact that the Trilby is nonparametric hold if it is costal. sent4: something is not intramuscular if it either fumbles pharisee or is a crayfish or both.
sent3 & sent1 -> int1: the fact that the Trilby is nonparametric is not false.; int1 & sent2 -> int2: the algebraist fumbles pharisee.; int2 -> int3: either the algebraist does fumble pharisee or it is a crayfish or both.; sent4 -> int4: if the algebraist fumbles pharisee and/or is a kind of a crayfish then the fact that it is not intramuscular hold.; int3 & int4 -> hypothesis;
$hypothesis$ = the algebraist is non-intramuscular. ; $context$ = sent1: that the Trilby is costal hold. sent2: the algebraist does fumble pharisee if the Trilby is nonparametric. sent3: the fact that the Trilby is nonparametric hold if it is costal. sent4: something is not intramuscular if it either fumbles pharisee or is a crayfish or both. ; $proof$ = 
sent3 & sent1 -> int1: the fact that the Trilby is nonparametric is not false.; int1 & sent2 -> int2: the algebraist fumbles pharisee.; int2 -> int3: either the algebraist does fumble pharisee or it is a crayfish or both.; sent4 -> int4: if the algebraist fumbles pharisee and/or is a kind of a crayfish then the fact that it is not intramuscular hold.; int3 & int4 -> hypothesis; __PROVED__