that the felo-de-se is a photoelectron and a Schnabel if the ptomaine is not a snapdragon is not right.
sent1: a noncurrent thing is a photoelectron. sent2: something is a kind of a Schnabel if it is not a permanent. sent3: something is not an antithesis if it is dulled. sent4: the felo-de-se is a kind of a Schnabel if that it is not indusial is not incorrect. sent5: if there is something such that it is corrected the felo-de-se is not a permanent and/or it is not indusial. sent6: something does correct. sent7: the felo-de-se is not a current if the ptomaine is not a rustic. sent8: if something is not a current it is incommutable and it is a Musgu. sent9: something is not a rustic if it is not a snapdragon.
sent9 -> int1: the ptomaine is not a rustic if it is not a snapdragon.; void -> assump1: Let's assume that the ptomaine is not a snapdragon.; int1 & assump1 -> int2: the ptomaine is not a rustic.; int2 & sent7 -> int3: the felo-de-se is not a current.; sent1 -> int4: the felo-de-se is a photoelectron if it is noncurrent.; int3 & int4 -> int5: the felo-de-se is a photoelectron.; sent6 & sent5 -> int6: the felo-de-se is not permanent and/or it is not indusial.; sent2 -> int7: that the felo-de-se is a Schnabel hold if it is not a permanent.; int6 & int7 & sent4 -> int8: that the felo-de-se is a Schnabel is right.; int5 & int8 -> int9: that the felo-de-se is both a photoelectron and a Schnabel is true.; [assump1] & int9 -> hypothesis;
the ptomaine is incommutable and a Musgu.
sent8 -> int10: if the ptomaine is not a current it is incommutable and it is a Musgu.;
$hypothesis$ = that the felo-de-se is a photoelectron and a Schnabel if the ptomaine is not a snapdragon is not right. ; $context$ = sent1: a noncurrent thing is a photoelectron. sent2: something is a kind of a Schnabel if it is not a permanent. sent3: something is not an antithesis if it is dulled. sent4: the felo-de-se is a kind of a Schnabel if that it is not indusial is not incorrect. sent5: if there is something such that it is corrected the felo-de-se is not a permanent and/or it is not indusial. sent6: something does correct. sent7: the felo-de-se is not a current if the ptomaine is not a rustic. sent8: if something is not a current it is incommutable and it is a Musgu. sent9: something is not a rustic if it is not a snapdragon. ; $proof$ = 
sent9 -> int1: the ptomaine is not a rustic if it is not a snapdragon.; void -> assump1: Let's assume that the ptomaine is not a snapdragon.; int1 & assump1 -> int2: the ptomaine is not a rustic.; int2 & sent7 -> int3: the felo-de-se is not a current.; sent1 -> int4: the felo-de-se is a photoelectron if it is noncurrent.; int3 & int4 -> int5: the felo-de-se is a photoelectron.; sent6 & sent5 -> int6: the felo-de-se is not permanent and/or it is not indusial.; sent2 -> int7: that the felo-de-se is a Schnabel hold if it is not a permanent.; int6 & int7 & sent4 -> int8: that the felo-de-se is a Schnabel is right.; int5 & int8 -> int9: that the felo-de-se is both a photoelectron and a Schnabel is true.; [assump1] & int9 -> hypothesis; __DISPROVED__