the toxin is a parade.
sent1: the sailor is not a metacarpal if it is not an apartheid or it does syllogize dictation or both. sent2: the syringe is not a condolence. sent3: the globe is not Ionic or it disarms or both if the toxin does not parade. sent4: the toxin is knowable and/or it does not disarm. sent5: the syringe is not a party. sent6: if the syringe is not metacarpal either the sailor is a metacarpal or it is not a condolence or both. sent7: if something is not a Eleutherodactylus it is not Ionic. sent8: if something is not metacarpal and/or it does not disarm then it is a party. sent9: the dilution is a Swede and/or it does not syllogize dictation. sent10: if the globe is not Ionic the sailor is not an apartheid and/or it syllogizes dictation. sent11: something is a jackpot if it does party. sent12: the sailor is not a parade if the fact that it is not an apartheid does not hold. sent13: if that the globe does not syllogize dictation is right then either the sailor does not syllogize dictation or it is not a kind of a metacarpal or both. sent14: the toxin is not a kind of a Eleutherodactylus or it is a kind of a metacarpal or both. sent15: something parades if it does party. sent16: either the toxin is not metacarpal or it does disarm or both. sent17: the globe is both not a condolence and not a Eleutherodactylus if the syringe is not Ionic. sent18: the syringe is a condolence if that the globe is a Eleutherodactylus is right. sent19: the toxin is not a condolence or a parade or both.
void -> assump1: Let's assume that that the globe is a kind of a Eleutherodactylus is right.; sent18 & assump1 -> int1: that the syringe is a condolence is correct.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the globe is not a Eleutherodactylus.; sent7 -> int4: if the globe is not a Eleutherodactylus then it is not Ionic.; int3 & int4 -> int5: the globe is not Ionic.; int5 & sent10 -> int6: the sailor is not an apartheid and/or syllogizes dictation.; int6 & sent1 -> int7: the sailor is not a kind of a metacarpal.; sent8 -> int8: if either the toxin is not metacarpal or it does not disarm or both it is a party.; sent15 -> int9: the toxin does parade if it is a party.;
if the gallium parties it is a jackpot.
sent11 -> hypothesis;
$hypothesis$ = the toxin is a parade. ; $context$ = sent1: the sailor is not a metacarpal if it is not an apartheid or it does syllogize dictation or both. sent2: the syringe is not a condolence. sent3: the globe is not Ionic or it disarms or both if the toxin does not parade. sent4: the toxin is knowable and/or it does not disarm. sent5: the syringe is not a party. sent6: if the syringe is not metacarpal either the sailor is a metacarpal or it is not a condolence or both. sent7: if something is not a Eleutherodactylus it is not Ionic. sent8: if something is not metacarpal and/or it does not disarm then it is a party. sent9: the dilution is a Swede and/or it does not syllogize dictation. sent10: if the globe is not Ionic the sailor is not an apartheid and/or it syllogizes dictation. sent11: something is a jackpot if it does party. sent12: the sailor is not a parade if the fact that it is not an apartheid does not hold. sent13: if that the globe does not syllogize dictation is right then either the sailor does not syllogize dictation or it is not a kind of a metacarpal or both. sent14: the toxin is not a kind of a Eleutherodactylus or it is a kind of a metacarpal or both. sent15: something parades if it does party. sent16: either the toxin is not metacarpal or it does disarm or both. sent17: the globe is both not a condolence and not a Eleutherodactylus if the syringe is not Ionic. sent18: the syringe is a condolence if that the globe is a Eleutherodactylus is right. sent19: the toxin is not a condolence or a parade or both. ; $proof$ = 
void -> assump1: Let's assume that that the globe is a kind of a Eleutherodactylus is right.; sent18 & assump1 -> int1: that the syringe is a condolence is correct.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the globe is not a Eleutherodactylus.; sent7 -> int4: if the globe is not a Eleutherodactylus then it is not Ionic.; int3 & int4 -> int5: the globe is not Ionic.; int5 & sent10 -> int6: the sailor is not an apartheid and/or syllogizes dictation.; int6 & sent1 -> int7: the sailor is not a kind of a metacarpal.; sent8 -> int8: if either the toxin is not metacarpal or it does not disarm or both it is a party.; sent15 -> int9: the toxin does parade if it is a party.; __UNKNOWN__