the porterhouse is not aponeurotic if the truant is not a kind of a headcount.
sent1: something is a kind of a headcount but it is not aponeurotic. sent2: the yachtsman is not aponeurotic. sent3: if a mesomorphy does not spoil papaya the porterhouse is not aponeurotic. sent4: there is something such that it is radiographic. sent5: something is a kind of a mesomorphy that does spoil papaya. sent6: if the truant is not a headcount the fact that it does not spoil papaya is correct. sent7: the truant is a mesomorphy but it does not spoil papaya if that it is a headcount is not incorrect. sent8: the porterhouse is not a kind of a mesomorphy. sent9: the porterhouse is not a mesomorphy if the truant is not aponeurotic. sent10: if the truant is a headcount the porterhouse is not aponeurotic. sent11: if the truant is not a headcount then it is a mesomorphy that does not spoil papaya. sent12: if the porterhouse is not a headcount then the truant is not aponeurotic. sent13: the truant spoils papaya if the porterhouse is not a kind of a headcount. sent14: the truant does not amplify waterproof.
void -> assump1: Let's assume that the truant is not a headcount.; sent11 & assump1 -> int1: the truant is a kind of a mesomorphy but it does not spoil papaya.; int1 -> int2: something is a mesomorphy and does not spoil papaya.; int2 & sent3 -> int3: the porterhouse is not aponeurotic.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the porterhouse is not aponeurotic if the truant is not a kind of a headcount. ; $context$ = sent1: something is a kind of a headcount but it is not aponeurotic. sent2: the yachtsman is not aponeurotic. sent3: if a mesomorphy does not spoil papaya the porterhouse is not aponeurotic. sent4: there is something such that it is radiographic. sent5: something is a kind of a mesomorphy that does spoil papaya. sent6: if the truant is not a headcount the fact that it does not spoil papaya is correct. sent7: the truant is a mesomorphy but it does not spoil papaya if that it is a headcount is not incorrect. sent8: the porterhouse is not a kind of a mesomorphy. sent9: the porterhouse is not a mesomorphy if the truant is not aponeurotic. sent10: if the truant is a headcount the porterhouse is not aponeurotic. sent11: if the truant is not a headcount then it is a mesomorphy that does not spoil papaya. sent12: if the porterhouse is not a headcount then the truant is not aponeurotic. sent13: the truant spoils papaya if the porterhouse is not a kind of a headcount. sent14: the truant does not amplify waterproof. ; $proof$ = 
void -> assump1: Let's assume that the truant is not a headcount.; sent11 & assump1 -> int1: the truant is a kind of a mesomorphy but it does not spoil papaya.; int1 -> int2: something is a mesomorphy and does not spoil papaya.; int2 & sent3 -> int3: the porterhouse is not aponeurotic.; [assump1] & int3 -> hypothesis; __PROVED__