the buckboard is a margarin.
sent1: if something is not a kind of a fossilization then it is a margarin. sent2: the fact that something is selfish but it is not a kind of a scrag is not true if it is not a fossilization. sent3: if there exists something such that that it scours ejector and it is not a kind of a bridecake is wrong the fact that the nunnery is a fossilization hold. sent4: the nunnery is a kind of a fossilization if there exists something such that it is a bridecake. sent5: the design does not liquefy misogamy. sent6: the design is bibliopolic. sent7: if that the nunnery bestirs anthill hold then that the buckboard is a kind of a margarin is not wrong. sent8: there is something such that it is sacrificial and is not palatial. sent9: the nunnery does scour ejector. sent10: there is something such that that it is a kind of a fossilization that is not non-Lebanese is not true. sent11: there exists something such that the fact that it is bibliopolic and it does bestir anthill is not right. sent12: the fact that the design scours ejector but it is not a bridecake is wrong. sent13: the nunnery does not bestir anthill if it is a margarin that is Lebanese. sent14: the nunnery is not a bridecake if it does scour ejector and is ursine. sent15: the ejector is ursine. sent16: if the nunnery is not a margarin then it is ursine. sent17: if the nunnery is a fossilization and not non-Lebanese then it is not ursine. sent18: the nunnery is a Lebanese if there is something such that the fact that it is a fossilization and it is not a bridecake is incorrect. sent19: the design is ursine. sent20: something bestirs anthill if it is not a Lebanese. sent21: the fact that the design does scour ejector and is a kind of a bridecake does not hold. sent22: if the gharry is ursine then the nunnery is not a kind of a Lebanese but it is a kind of a fossilization. sent23: the nunnery is not non-ursine and not non-bibliopolic.
sent12 -> int1: there exists something such that the fact that it scours ejector and it is not a kind of a bridecake does not hold.; int1 & sent3 -> int2: the nunnery is a fossilization.; void -> assump1: Let's assume that the nunnery is a Lebanese.; int2 & assump1 -> int3: the nunnery is a kind of a fossilization and is a kind of a Lebanese.; int3 & sent17 -> int4: that the nunnery is not ursine is right.; sent23 -> int5: the nunnery is ursine.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the nunnery is not a Lebanese hold.; sent20 -> int8: that if the nunnery is not a kind of the Lebanese the nunnery bestirs anthill is not wrong.; int7 & int8 -> int9: the nunnery bestirs anthill.; int9 & sent7 -> hypothesis;
the fact that the buckboard is not a margarin is not false.
$hypothesis$ = the buckboard is a margarin. ; $context$ = sent1: if something is not a kind of a fossilization then it is a margarin. sent2: the fact that something is selfish but it is not a kind of a scrag is not true if it is not a fossilization. sent3: if there exists something such that that it scours ejector and it is not a kind of a bridecake is wrong the fact that the nunnery is a fossilization hold. sent4: the nunnery is a kind of a fossilization if there exists something such that it is a bridecake. sent5: the design does not liquefy misogamy. sent6: the design is bibliopolic. sent7: if that the nunnery bestirs anthill hold then that the buckboard is a kind of a margarin is not wrong. sent8: there is something such that it is sacrificial and is not palatial. sent9: the nunnery does scour ejector. sent10: there is something such that that it is a kind of a fossilization that is not non-Lebanese is not true. sent11: there exists something such that the fact that it is bibliopolic and it does bestir anthill is not right. sent12: the fact that the design scours ejector but it is not a bridecake is wrong. sent13: the nunnery does not bestir anthill if it is a margarin that is Lebanese. sent14: the nunnery is not a bridecake if it does scour ejector and is ursine. sent15: the ejector is ursine. sent16: if the nunnery is not a margarin then it is ursine. sent17: if the nunnery is a fossilization and not non-Lebanese then it is not ursine. sent18: the nunnery is a Lebanese if there is something such that the fact that it is a fossilization and it is not a bridecake is incorrect. sent19: the design is ursine. sent20: something bestirs anthill if it is not a Lebanese. sent21: the fact that the design does scour ejector and is a kind of a bridecake does not hold. sent22: if the gharry is ursine then the nunnery is not a kind of a Lebanese but it is a kind of a fossilization. sent23: the nunnery is not non-ursine and not non-bibliopolic. ; $proof$ = 
sent12 -> int1: there exists something such that the fact that it scours ejector and it is not a kind of a bridecake does not hold.; int1 & sent3 -> int2: the nunnery is a fossilization.; void -> assump1: Let's assume that the nunnery is a Lebanese.; int2 & assump1 -> int3: the nunnery is a kind of a fossilization and is a kind of a Lebanese.; int3 & sent17 -> int4: that the nunnery is not ursine is right.; sent23 -> int5: the nunnery is ursine.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the nunnery is not a Lebanese hold.; sent20 -> int8: that if the nunnery is not a kind of the Lebanese the nunnery bestirs anthill is not wrong.; int7 & int8 -> int9: the nunnery bestirs anthill.; int9 & sent7 -> hypothesis; __PROVED__