the amulet is a kind of a deck-house.
sent1: there is something such that the fact that it either is not profane or is not bronchoscopic or both is not true. sent2: if the binding does not bloviate the toad-in-the-hole is utopian and it is a frontlet. sent3: a non-utopian thing is both not a ducat and an upper. sent4: if there is something such that the fact that it is not profane or is not bronchoscopic or both is not correct then the toad-in-the-hole is an upper. sent5: the binding does bloviate and is utopian. sent6: there is something such that the fact that it is either not profane or not non-bronchoscopic or both does not hold. sent7: the toad-in-the-hole is a kind of a frontlet. sent8: if the toad-in-the-hole is a frontlet but not a ducat the amulet is not a kind of a deck-house. sent9: the hessian is not a frontlet. sent10: if something is not a ducat then it is a kind of a deck-house that is an upper. sent11: the toad-in-the-hole is utopian. sent12: the binding is not small-capitalization. sent13: there is something such that that it is bronchoscopic hold. sent14: something is profane. sent15: if the fact that the toad-in-the-hole is an upper and it is a ducat is right then the binding is not utopian. sent16: there exists something such that that it is not an upper and/or it is not a kind of a ducat is not right.
sent1 & sent4 -> int1: the toad-in-the-hole is a kind of an upper.; void -> assump1: Let's assume that the toad-in-the-hole is a ducat.; int1 & assump1 -> int2: the toad-in-the-hole is an upper and a ducat.; int2 & sent15 -> int3: the fact that the binding is not utopian is not wrong.; sent5 -> int4: the binding is utopian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the toad-in-the-hole is not a kind of a ducat.; int6 & sent7 -> int7: the toad-in-the-hole is a kind of a frontlet but it is not a ducat.; int7 & sent8 -> hypothesis;
that the percher is not a kind of a deck-house is not right.
sent3 -> int8: the toad-in-the-hole is not a ducat but it is an upper if that it is not utopian hold.;
$hypothesis$ = the amulet is a kind of a deck-house. ; $context$ = sent1: there is something such that the fact that it either is not profane or is not bronchoscopic or both is not true. sent2: if the binding does not bloviate the toad-in-the-hole is utopian and it is a frontlet. sent3: a non-utopian thing is both not a ducat and an upper. sent4: if there is something such that the fact that it is not profane or is not bronchoscopic or both is not correct then the toad-in-the-hole is an upper. sent5: the binding does bloviate and is utopian. sent6: there is something such that the fact that it is either not profane or not non-bronchoscopic or both does not hold. sent7: the toad-in-the-hole is a kind of a frontlet. sent8: if the toad-in-the-hole is a frontlet but not a ducat the amulet is not a kind of a deck-house. sent9: the hessian is not a frontlet. sent10: if something is not a ducat then it is a kind of a deck-house that is an upper. sent11: the toad-in-the-hole is utopian. sent12: the binding is not small-capitalization. sent13: there is something such that that it is bronchoscopic hold. sent14: something is profane. sent15: if the fact that the toad-in-the-hole is an upper and it is a ducat is right then the binding is not utopian. sent16: there exists something such that that it is not an upper and/or it is not a kind of a ducat is not right. ; $proof$ = 
sent1 & sent4 -> int1: the toad-in-the-hole is a kind of an upper.; void -> assump1: Let's assume that the toad-in-the-hole is a ducat.; int1 & assump1 -> int2: the toad-in-the-hole is an upper and a ducat.; int2 & sent15 -> int3: the fact that the binding is not utopian is not wrong.; sent5 -> int4: the binding is utopian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the toad-in-the-hole is not a kind of a ducat.; int6 & sent7 -> int7: the toad-in-the-hole is a kind of a frontlet but it is not a ducat.; int7 & sent8 -> hypothesis; __DISPROVED__