the auxin is not a Florentine.
sent1: the auxin does stake. sent2: if the SACEUR invests oligochaete and/or it is not a kind of a guess the oligochaete is a registrant. sent3: the oligochaete unlooses countercharge and is a appellant. sent4: if the SACEUR is not a guess then the oligochaete is a kind of a registrant. sent5: if something is fissile then it does invest oligochaete or is not a guess or both. sent6: that the SACEUR invests oligochaete and/or it guesses if the SACEUR is fissile hold. sent7: the oligochaete is a kind of a appellant. sent8: if that the oligochaete is both not non-Florentine and nonfissile does not hold then the demimondaine is a registrant. sent9: the SACEUR invests oligochaete or does guess or both. sent10: if something is fissile then it invests oligochaete and/or it does guess. sent11: if the SACEUR is not fissile then the auxin is a stake and Florentine. sent12: the oligochaete is not a registrant if it does unloose countercharge and is a kind of a appellant.
sent5 -> int1: the SACEUR does invest oligochaete and/or it is not a guess if it is fissile.; void -> assump1: Let's assume that the SACEUR is fissile.; int1 & assump1 -> int2: the SACEUR invests oligochaete or it does not guess or both.; int2 & sent2 -> int3: the oligochaete is a registrant.; sent12 & sent3 -> int4: the oligochaete is not a registrant.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the SACEUR is not fissile.; int6 & sent11 -> int7: the auxin is a stake that is a kind of a Florentine.; int7 -> hypothesis;
the demimondaine is a registrant.
$hypothesis$ = the auxin is not a Florentine. ; $context$ = sent1: the auxin does stake. sent2: if the SACEUR invests oligochaete and/or it is not a kind of a guess the oligochaete is a registrant. sent3: the oligochaete unlooses countercharge and is a appellant. sent4: if the SACEUR is not a guess then the oligochaete is a kind of a registrant. sent5: if something is fissile then it does invest oligochaete or is not a guess or both. sent6: that the SACEUR invests oligochaete and/or it guesses if the SACEUR is fissile hold. sent7: the oligochaete is a kind of a appellant. sent8: if that the oligochaete is both not non-Florentine and nonfissile does not hold then the demimondaine is a registrant. sent9: the SACEUR invests oligochaete or does guess or both. sent10: if something is fissile then it invests oligochaete and/or it does guess. sent11: if the SACEUR is not fissile then the auxin is a stake and Florentine. sent12: the oligochaete is not a registrant if it does unloose countercharge and is a kind of a appellant. ; $proof$ = 
sent5 -> int1: the SACEUR does invest oligochaete and/or it is not a guess if it is fissile.; void -> assump1: Let's assume that the SACEUR is fissile.; int1 & assump1 -> int2: the SACEUR invests oligochaete or it does not guess or both.; int2 & sent2 -> int3: the oligochaete is a registrant.; sent12 & sent3 -> int4: the oligochaete is not a registrant.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the SACEUR is not fissile.; int6 & sent11 -> int7: the auxin is a stake that is a kind of a Florentine.; int7 -> hypothesis; __DISPROVED__