the record-breaker does crook disinterest if the arsonist is a woodborer.
sent1: if that something is not a lampblack and it is not a princedom is incorrect then it is a compositor. sent2: the scratch does crook disinterest if the record-breaker is a MFA. sent3: if the scratch does not contradistinguish Min then the record-breaker is not a Trachipterus. sent4: that something is not a lampblack and it is not a princedom is not right if it does not cancel Chelyabinsk. sent5: the arsonist is not a woodborer if the fact that the scratch is not a Trachipterus hold. sent6: if the coelenteron is a compositor it does not crook disinterest. sent7: if the record-breaker does contradistinguish Min that it does nod afterworld hold. sent8: something crooks disinterest if that it does contradistinguish Min and is not a kind of a MFA is not correct. sent9: that the coelenteron is a kind of a woodborer and it does contradistinguish Min does not hold if it does not crook disinterest. sent10: the fact that the record-breaker crooks disinterest and is a kind of a woodborer is not right if the arsonist is a woodborer. sent11: if something does not contradistinguish Min then it does crook disinterest. sent12: the fact that the scratch cancels kinship but it does not nod Ghanian is false. sent13: the arsonist is a Trachipterus. sent14: if something is a kind of a Trachipterus then it is a MFA. sent15: the fact that the scratch crooks disinterest and is not a kind of a MFA is wrong. sent16: the coelenteron does not cancel Chelyabinsk. sent17: if the scratch is a kind of a MFA the fact that the record-breaker does contradistinguish Min and is not a kind of a MFA is not true. sent18: if the fact that something is both a woodborer and not a Trachipterus does not hold then it contradistinguishes Min. sent19: if that something is a woodborer and does contradistinguish Min is wrong then it is not a woodborer. sent20: the scratch contradistinguishes Min if that it is a MFA is not false. sent21: the arsonist is not alkaloidal. sent22: if the scratch is a woodborer then it is a MFA.
void -> assump1: Let's assume that the scratch is not a kind of a Trachipterus.; sent5 & assump1 -> int1: the arsonist is not a woodborer.; void -> assump2: Let's assume that the arsonist is a kind of a woodborer.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the scratch is a Trachipterus.; sent14 -> int4: that the scratch is a MFA hold if it is a Trachipterus.; int3 & int4 -> int5: the scratch is a MFA.; int5 & sent17 -> int6: that the record-breaker contradistinguishes Min and is not a kind of a MFA is not correct.; sent8 -> int7: the fact that the record-breaker crooks disinterest is true if the fact that it contradistinguishes Min and is not a MFA is wrong.; int6 & int7 -> int8: the record-breaker does crook disinterest.; [assump2] & int8 -> hypothesis;
the coelenteron is a kind of a MFA.
sent19 -> int9: the coelenteron is not a woodborer if that it is a woodborer and it contradistinguishes Min is false.; sent1 -> int10: the coelenteron is a compositor if the fact that it is not a lampblack and it is not a princedom is false.; sent4 -> int11: the fact that the coelenteron is not a lampblack and it is not a kind of a princedom does not hold if it does not cancel Chelyabinsk.; int11 & sent16 -> int12: the fact that the coelenteron is not a kind of a lampblack and it is not a princedom is incorrect.; int10 & int12 -> int13: the coelenteron is a compositor.; sent6 & int13 -> int14: the fact that the coelenteron does not crook disinterest is not wrong.; sent9 & int14 -> int15: that the coelenteron is a woodborer and contradistinguishes Min is incorrect.; int9 & int15 -> int16: the coelenteron is not a kind of a woodborer.;
$hypothesis$ = the record-breaker does crook disinterest if the arsonist is a woodborer. ; $context$ = sent1: if that something is not a lampblack and it is not a princedom is incorrect then it is a compositor. sent2: the scratch does crook disinterest if the record-breaker is a MFA. sent3: if the scratch does not contradistinguish Min then the record-breaker is not a Trachipterus. sent4: that something is not a lampblack and it is not a princedom is not right if it does not cancel Chelyabinsk. sent5: the arsonist is not a woodborer if the fact that the scratch is not a Trachipterus hold. sent6: if the coelenteron is a compositor it does not crook disinterest. sent7: if the record-breaker does contradistinguish Min that it does nod afterworld hold. sent8: something crooks disinterest if that it does contradistinguish Min and is not a kind of a MFA is not correct. sent9: that the coelenteron is a kind of a woodborer and it does contradistinguish Min does not hold if it does not crook disinterest. sent10: the fact that the record-breaker crooks disinterest and is a kind of a woodborer is not right if the arsonist is a woodborer. sent11: if something does not contradistinguish Min then it does crook disinterest. sent12: the fact that the scratch cancels kinship but it does not nod Ghanian is false. sent13: the arsonist is a Trachipterus. sent14: if something is a kind of a Trachipterus then it is a MFA. sent15: the fact that the scratch crooks disinterest and is not a kind of a MFA is wrong. sent16: the coelenteron does not cancel Chelyabinsk. sent17: if the scratch is a kind of a MFA the fact that the record-breaker does contradistinguish Min and is not a kind of a MFA is not true. sent18: if the fact that something is both a woodborer and not a Trachipterus does not hold then it contradistinguishes Min. sent19: if that something is a woodborer and does contradistinguish Min is wrong then it is not a woodborer. sent20: the scratch contradistinguishes Min if that it is a MFA is not false. sent21: the arsonist is not alkaloidal. sent22: if the scratch is a woodborer then it is a MFA. ; $proof$ = 
void -> assump1: Let's assume that the scratch is not a kind of a Trachipterus.; sent5 & assump1 -> int1: the arsonist is not a woodborer.; void -> assump2: Let's assume that the arsonist is a kind of a woodborer.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the scratch is a Trachipterus.; sent14 -> int4: that the scratch is a MFA hold if it is a Trachipterus.; int3 & int4 -> int5: the scratch is a MFA.; int5 & sent17 -> int6: that the record-breaker contradistinguishes Min and is not a kind of a MFA is not correct.; sent8 -> int7: the fact that the record-breaker crooks disinterest is true if the fact that it contradistinguishes Min and is not a MFA is wrong.; int6 & int7 -> int8: the record-breaker does crook disinterest.; [assump2] & int8 -> hypothesis; __PROVED__