the chloroform credits.
sent1: if the policyholder is biosystematic then the wale is a roofer. sent2: that the policyholder is biosystematic is not false if that it is not membranous and/or it is revolutionary does not hold. sent3: something is biosystematic and it is a roofer if it is not a credit. sent4: the chloroform is a credit if the wale is a roofer. sent5: the fact that the policyholder is not membranous or is revolutionary or both is false.
sent2 & sent5 -> int1: the policyholder is biosystematic.; sent1 & int1 -> int2: the wale is a roofer.; sent4 & int2 -> hypothesis;
the gadolinite is biosystematic.
sent3 -> int3: the gadolinite is biosystematic and a roofer if it is not a credit.;
$hypothesis$ = the chloroform credits. ; $context$ = sent1: if the policyholder is biosystematic then the wale is a roofer. sent2: that the policyholder is biosystematic is not false if that it is not membranous and/or it is revolutionary does not hold. sent3: something is biosystematic and it is a roofer if it is not a credit. sent4: the chloroform is a credit if the wale is a roofer. sent5: the fact that the policyholder is not membranous or is revolutionary or both is false. ; $proof$ = 
sent2 & sent5 -> int1: the policyholder is biosystematic.; sent1 & int1 -> int2: the wale is a roofer.; sent4 & int2 -> hypothesis; __PROVED__