the fact that the Popper is a kind of a pikestaff is right.
sent1: the drunk-and-disorderly is unsavory. sent2: the aborticide billows WSW if something does not reunite. sent3: if there exists something such that it is a fluorite then that the smasher reunites but it does not billow WSW is not right. sent4: the Popper is a pikestaff if there exists something such that the fact that it does reunite and it does not billow WSW does not hold. sent5: the fact that the aborticide does billow WSW and is a fluorite is not correct if there exists something such that that it does reunite is right. sent6: if the smasher billows WSW then it is marmorean. sent7: the fact that the aborticide does billow WSW but it does not reunite is false if there exists something such that it is marmorean. sent8: there exists something such that that it is both marmorean and not a hole is not right. sent9: the fact that something holes is right if it is a fluorite. sent10: everything shores interoperability. sent11: the drunk-and-disorderly does not wheel Baum and it does not wheel thyroglobulin if it is unsavory. sent12: if something does shore interoperability it is not a jostle but lowborn. sent13: something is a fluorite if it is marmorean. sent14: if the aborticide holes it is marmorean. sent15: if the aborticide billows WSW then the Popper is not marmorean but it is a fluorite. sent16: the driftfish is a kind of a hole. sent17: the fact that the Popper is marmorean and it is a pikestaff is false. sent18: if something is a fluorite the fact that the aborticide does reunite and is not a hole does not hold. sent19: there is something such that that it does billow WSW and is not a pikestaff does not hold. sent20: the fact that the aborticide is a fluorite and is non-marmorean does not hold if there is something such that it is a pikestaff. sent21: if there is something such that it does billow WSW then the fact that the aborticide is a pikestaff but it is not a hole does not hold. sent22: something is a hole. sent23: if something is non-marmorean a fluorite then it does not hole. sent24: if the smasher is a hole then it reunites.
sent13 -> int1: if the aborticide is marmorean it is a fluorite.;
the Popper is not a kind of a pikestaff.
sent23 -> int2: the Popper is not a kind of a hole if it is not marmorean and it is a fluorite.; sent11 & sent1 -> int3: the drunk-and-disorderly does not wheel Baum and it does not wheel thyroglobulin.; int3 -> int4: the drunk-and-disorderly does not wheel Baum.; sent12 -> int5: if the storyteller shores interoperability then it is not a kind of a jostle and it is lowborn.; sent10 -> int6: the storyteller shores interoperability.; int5 & int6 -> int7: the storyteller is not a kind of a jostle and is lowborn.; int7 -> int8: everything is both not a jostle and lowborn.; int8 -> int9: the drunk-and-disorderly is not a jostle and is lowborn.; int9 -> int10: the drunk-and-disorderly is not a jostle.; int4 & int10 -> int11: the fact that the drunk-and-disorderly does not wheel Baum and it is not a jostle is not incorrect.; int11 -> int12: something does not wheel Baum and does not jostle.;
$hypothesis$ = the fact that the Popper is a kind of a pikestaff is right. ; $context$ = sent1: the drunk-and-disorderly is unsavory. sent2: the aborticide billows WSW if something does not reunite. sent3: if there exists something such that it is a fluorite then that the smasher reunites but it does not billow WSW is not right. sent4: the Popper is a pikestaff if there exists something such that the fact that it does reunite and it does not billow WSW does not hold. sent5: the fact that the aborticide does billow WSW and is a fluorite is not correct if there exists something such that that it does reunite is right. sent6: if the smasher billows WSW then it is marmorean. sent7: the fact that the aborticide does billow WSW but it does not reunite is false if there exists something such that it is marmorean. sent8: there exists something such that that it is both marmorean and not a hole is not right. sent9: the fact that something holes is right if it is a fluorite. sent10: everything shores interoperability. sent11: the drunk-and-disorderly does not wheel Baum and it does not wheel thyroglobulin if it is unsavory. sent12: if something does shore interoperability it is not a jostle but lowborn. sent13: something is a fluorite if it is marmorean. sent14: if the aborticide holes it is marmorean. sent15: if the aborticide billows WSW then the Popper is not marmorean but it is a fluorite. sent16: the driftfish is a kind of a hole. sent17: the fact that the Popper is marmorean and it is a pikestaff is false. sent18: if something is a fluorite the fact that the aborticide does reunite and is not a hole does not hold. sent19: there is something such that that it does billow WSW and is not a pikestaff does not hold. sent20: the fact that the aborticide is a fluorite and is non-marmorean does not hold if there is something such that it is a pikestaff. sent21: if there is something such that it does billow WSW then the fact that the aborticide is a pikestaff but it is not a hole does not hold. sent22: something is a hole. sent23: if something is non-marmorean a fluorite then it does not hole. sent24: if the smasher is a hole then it reunites. ; $proof$ = 
sent13 -> int1: if the aborticide is marmorean it is a fluorite.; __UNKNOWN__