the telephone is a kind of a Jonson if the poon is not a coondog.
sent1: if there exists something such that the fact that it is a kind of a sectional and it is a kind of a Ethiopian does not hold then the xerox is a fireguard. sent2: something is a kind of a sectional and it is a kind of a Ethiopian. sent3: there is something such that that it is a sectional that is a kind of a Ethiopian is wrong. sent4: the xerox is a fireguard if something is not a Ethiopian. sent5: the fact that something is both penile and a Jonson is not incorrect. sent6: the poon is a coondog if there exists something such that it is penile and it is not a kind of a Jonson. sent7: something is a kind of a coondog that is not penile. sent8: if the xerox is a fireguard then the telephone is penile. sent9: the xerox is not a UN. sent10: the telephone is a Jonson if the poon is a kind of a coondog. sent11: something is not a Jonson. sent12: something is penile.
sent3 & sent1 -> int1: the xerox is a kind of a fireguard.; sent8 & int1 -> int2: the telephone is penile.; void -> assump1: Let's assume that the telephone is not a Jonson.; int2 & assump1 -> int3: the telephone is penile thing that is not a Jonson.; int3 -> int4: there is something such that it is penile and it is not a Jonson.; int4 & sent6 -> int5: the poon is a kind of a coondog.; void -> assump2: Let's assume that the poon is not a coondog.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the telephone is a kind of a Jonson.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the telephone is a kind of a Jonson if the poon is not a coondog. ; $context$ = sent1: if there exists something such that the fact that it is a kind of a sectional and it is a kind of a Ethiopian does not hold then the xerox is a fireguard. sent2: something is a kind of a sectional and it is a kind of a Ethiopian. sent3: there is something such that that it is a sectional that is a kind of a Ethiopian is wrong. sent4: the xerox is a fireguard if something is not a Ethiopian. sent5: the fact that something is both penile and a Jonson is not incorrect. sent6: the poon is a coondog if there exists something such that it is penile and it is not a kind of a Jonson. sent7: something is a kind of a coondog that is not penile. sent8: if the xerox is a fireguard then the telephone is penile. sent9: the xerox is not a UN. sent10: the telephone is a Jonson if the poon is a kind of a coondog. sent11: something is not a Jonson. sent12: something is penile. ; $proof$ = 
sent3 & sent1 -> int1: the xerox is a kind of a fireguard.; sent8 & int1 -> int2: the telephone is penile.; void -> assump1: Let's assume that the telephone is not a Jonson.; int2 & assump1 -> int3: the telephone is penile thing that is not a Jonson.; int3 -> int4: there is something such that it is penile and it is not a Jonson.; int4 & sent6 -> int5: the poon is a kind of a coondog.; void -> assump2: Let's assume that the poon is not a coondog.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the telephone is a kind of a Jonson.; [assump2] & int7 -> hypothesis; __PROVED__