the schizophrenic is not a self-heal.
sent1: something is a defenestration if it is a kind of a self-heal. sent2: the fact that something does not pontificate and it does not hum invalidator is not right if it is not lung-like. sent3: everything is a Polish and/or it does not mystify UTN. sent4: everything is not lung-like. sent5: the schizophrenic is not a canter if either the mucus is a canter or it does not pontificate or both. sent6: either everything canters or it does not pontificate or both. sent7: something does canter if it is a defenestration.
sent1 -> int1: the schizophrenic is a defenestration if it is a self-heal.; void -> assump1: Let's assume that the schizophrenic is a kind of a self-heal.; int1 & assump1 -> int2: the schizophrenic is a defenestration.; sent7 -> int3: the schizophrenic is a canter if it is a defenestration.; int2 & int3 -> int4: the schizophrenic canters.; sent6 -> int5: the mucus is a canter and/or it does not pontificate.; sent5 & int5 -> int6: the schizophrenic does not canter.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the schizophrenic is a kind of a self-heal.
sent4 -> int8: the lorgnette is not lung-like.; sent2 -> int9: if the lorgnette is not lung-like then that it does not pontificate and does not hum invalidator is not correct.; int8 & int9 -> int10: the fact that the lorgnette does not pontificate and it does not hum invalidator is incorrect.;
$hypothesis$ = the schizophrenic is not a self-heal. ; $context$ = sent1: something is a defenestration if it is a kind of a self-heal. sent2: the fact that something does not pontificate and it does not hum invalidator is not right if it is not lung-like. sent3: everything is a Polish and/or it does not mystify UTN. sent4: everything is not lung-like. sent5: the schizophrenic is not a canter if either the mucus is a canter or it does not pontificate or both. sent6: either everything canters or it does not pontificate or both. sent7: something does canter if it is a defenestration. ; $proof$ = 
sent1 -> int1: the schizophrenic is a defenestration if it is a self-heal.; void -> assump1: Let's assume that the schizophrenic is a kind of a self-heal.; int1 & assump1 -> int2: the schizophrenic is a defenestration.; sent7 -> int3: the schizophrenic is a canter if it is a defenestration.; int2 & int3 -> int4: the schizophrenic canters.; sent6 -> int5: the mucus is a canter and/or it does not pontificate.; sent5 & int5 -> int6: the schizophrenic does not canter.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__