the fathead is not preventive.
sent1: if the fact that the tenon does not pencil is not false then the MT is a kind of a resurvey. sent2: if the fact that the tenon is not a commodore and it is not a kind of a penciled is wrong the fathead is not preventive. sent3: if the fact that the charm is not a Boccaccio but a geminate is not right it does investigate Aeolus. sent4: if the charm is a kind of a penciled then the tenon is a penciled. sent5: the reagin is not uncongenial if the tenon is a kind of a penciled and/or is a commodore. sent6: if the charm investigates Aeolus that the edging investigates Aeolus is not wrong. sent7: if something does sparkle poker then that it does not investigate Aeolus hold. sent8: if the edging is not uncongenial and investigates Aeolus the reagin is not uncongenial. sent9: if there is something such that it is not a kind of a geminate the fact that the charm is not a Boccaccio and geminate does not hold. sent10: there is something such that it is not a geminate. sent11: if the reagin is not uncongenial the edging does sparkle poker. sent12: the fathead is preventive if the MT is a resurvey.
void -> assump1: Let's assume that the tenon is a kind of a penciled.; assump1 -> int1: the tenon is a penciled and/or it is a kind of a commodore.; int1 & sent5 -> int2: the reagin is not uncongenial.; int2 & sent11 -> int3: the edging sparkles poker.; sent7 -> int4: the edging does not investigate Aeolus if that it does sparkle poker hold.; int3 & int4 -> int5: the edging does not investigate Aeolus.; sent10 & sent9 -> int6: the fact that the charm is not a Boccaccio and geminates is false.; sent3 & int6 -> int7: the charm does investigate Aeolus.; sent6 & int7 -> int8: that the edging does investigate Aeolus is not incorrect.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the tenon is not a penciled.; int10 & sent1 -> int11: the MT is a resurvey.; int11 & sent12 -> hypothesis;
the fathead is not preventive.
$hypothesis$ = the fathead is not preventive. ; $context$ = sent1: if the fact that the tenon does not pencil is not false then the MT is a kind of a resurvey. sent2: if the fact that the tenon is not a commodore and it is not a kind of a penciled is wrong the fathead is not preventive. sent3: if the fact that the charm is not a Boccaccio but a geminate is not right it does investigate Aeolus. sent4: if the charm is a kind of a penciled then the tenon is a penciled. sent5: the reagin is not uncongenial if the tenon is a kind of a penciled and/or is a commodore. sent6: if the charm investigates Aeolus that the edging investigates Aeolus is not wrong. sent7: if something does sparkle poker then that it does not investigate Aeolus hold. sent8: if the edging is not uncongenial and investigates Aeolus the reagin is not uncongenial. sent9: if there is something such that it is not a kind of a geminate the fact that the charm is not a Boccaccio and geminate does not hold. sent10: there is something such that it is not a geminate. sent11: if the reagin is not uncongenial the edging does sparkle poker. sent12: the fathead is preventive if the MT is a resurvey. ; $proof$ = 
void -> assump1: Let's assume that the tenon is a kind of a penciled.; assump1 -> int1: the tenon is a penciled and/or it is a kind of a commodore.; int1 & sent5 -> int2: the reagin is not uncongenial.; int2 & sent11 -> int3: the edging sparkles poker.; sent7 -> int4: the edging does not investigate Aeolus if that it does sparkle poker hold.; int3 & int4 -> int5: the edging does not investigate Aeolus.; sent10 & sent9 -> int6: the fact that the charm is not a Boccaccio and geminates is false.; sent3 & int6 -> int7: the charm does investigate Aeolus.; sent6 & int7 -> int8: that the edging does investigate Aeolus is not incorrect.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the tenon is not a penciled.; int10 & sent1 -> int11: the MT is a resurvey.; int11 & sent12 -> hypothesis; __DISPROVED__