the bobwhite does not skim.
sent1: something is not Erasmian if it is a kind of a Haggadah. sent2: if there exists something such that it is an anemone then the settee is not Mesozoic. sent3: something is a skimming if it is an anemone. sent4: there is something such that the fact that it does not hull is not wrong. sent5: the fact that the stern is not pupillary and it does not perk hold. sent6: the limousine hulls if the settee is Australian. sent7: if the limousine is a hull the stern is not a kind of a Mesozoic and it is not a kind of a hull. sent8: something is a skimming and it is a kind of an anemone if it is not ursine. sent9: if the fact that something is univalent but it does not thicken is false then it is a Haggadah. sent10: something is a Mesozoic but it does not hull. sent11: if that something is ursine and it is a anopheline is incorrect it is not ursine. sent12: there is something such that it is not a kind of a Mesozoic and it hulls. sent13: that something is not a hull and is not Australian is incorrect if it is not a kind of a Mesozoic. sent14: if the bobwhite does hull the limousine is not an anemone and it is not a hull. sent15: that the stern is a kind of univalent thing that does not thicken is not right if the take-up is rural. sent16: the lepidomelane is not intraventricular. sent17: if something is not Erasmian then the fact that the limousine is ursine and it is a anopheline is not true. sent18: the settee is a Australian. sent19: the bobwhite is a Australian if the fact that the settee is not a hull and it is not a Australian is not true. sent20: the fact that the bobwhite is a kind of an anemone hold if something that is not a Mesozoic is not a hull. sent21: if the fact that the settee is a kind of a Australian and it is a skimming is true then the bobwhite does not skimming. sent22: something is not nonparticulate and it is not a bhang. sent23: the stern does not hull. sent24: the take-up is a kind of Laputan thing that is rural if the lepidomelane is not intraventricular.
sent6 & sent18 -> int1: the limousine hulls.; int1 & sent7 -> int2: the stern is not a Mesozoic and it is not a kind of a hull.; int2 -> int3: there exists something such that it is not a Mesozoic and it is not a hull.; int3 & sent20 -> int4: the bobwhite is a kind of an anemone.; sent3 -> int5: the bobwhite does skim if it is an anemone.; int4 & int5 -> hypothesis;
the bobwhite is Australian.
sent13 -> int6: if that the settee is not a Mesozoic is right the fact that it is not a hull and it is not Australian does not hold.; sent8 -> int7: if the limousine is not ursine then it is a skimming that is an anemone.; sent11 -> int8: the limousine is not ursine if the fact that it is ursine and it is a anopheline is false.; sent1 -> int9: if the stern is a Haggadah it is not Erasmian.; sent9 -> int10: if the fact that the stern is univalent thing that does not thicken is not true it is a kind of a Haggadah.; sent24 & sent16 -> int11: the take-up is Laputan and it is rural.; int11 -> int12: the take-up is rural.; sent15 & int12 -> int13: that the stern is a kind of univalent thing that does not thicken does not hold.; int10 & int13 -> int14: the stern is a kind of a Haggadah.; int9 & int14 -> int15: the stern is not Erasmian.; int15 -> int16: there exists something such that it is not Erasmian.; int16 & sent17 -> int17: the fact that the limousine is ursine and it is anopheline is incorrect.; int8 & int17 -> int18: the limousine is non-ursine.; int7 & int18 -> int19: the limousine is both a skimming and an anemone.; int19 -> int20: the limousine is an anemone.; int20 -> int21: there is something such that it is a kind of an anemone.; int21 & sent2 -> int22: the settee is not a Mesozoic.; int6 & int22 -> int23: that the settee is not a hull and it is non-Australian is false.; sent19 & int23 -> hypothesis;
$hypothesis$ = the bobwhite does not skim. ; $context$ = sent1: something is not Erasmian if it is a kind of a Haggadah. sent2: if there exists something such that it is an anemone then the settee is not Mesozoic. sent3: something is a skimming if it is an anemone. sent4: there is something such that the fact that it does not hull is not wrong. sent5: the fact that the stern is not pupillary and it does not perk hold. sent6: the limousine hulls if the settee is Australian. sent7: if the limousine is a hull the stern is not a kind of a Mesozoic and it is not a kind of a hull. sent8: something is a skimming and it is a kind of an anemone if it is not ursine. sent9: if the fact that something is univalent but it does not thicken is false then it is a Haggadah. sent10: something is a Mesozoic but it does not hull. sent11: if that something is ursine and it is a anopheline is incorrect it is not ursine. sent12: there is something such that it is not a kind of a Mesozoic and it hulls. sent13: that something is not a hull and is not Australian is incorrect if it is not a kind of a Mesozoic. sent14: if the bobwhite does hull the limousine is not an anemone and it is not a hull. sent15: that the stern is a kind of univalent thing that does not thicken is not right if the take-up is rural. sent16: the lepidomelane is not intraventricular. sent17: if something is not Erasmian then the fact that the limousine is ursine and it is a anopheline is not true. sent18: the settee is a Australian. sent19: the bobwhite is a Australian if the fact that the settee is not a hull and it is not a Australian is not true. sent20: the fact that the bobwhite is a kind of an anemone hold if something that is not a Mesozoic is not a hull. sent21: if the fact that the settee is a kind of a Australian and it is a skimming is true then the bobwhite does not skimming. sent22: something is not nonparticulate and it is not a bhang. sent23: the stern does not hull. sent24: the take-up is a kind of Laputan thing that is rural if the lepidomelane is not intraventricular. ; $proof$ = 
sent6 & sent18 -> int1: the limousine hulls.; int1 & sent7 -> int2: the stern is not a Mesozoic and it is not a kind of a hull.; int2 -> int3: there exists something such that it is not a Mesozoic and it is not a hull.; int3 & sent20 -> int4: the bobwhite is a kind of an anemone.; sent3 -> int5: the bobwhite does skim if it is an anemone.; int4 & int5 -> hypothesis; __DISPROVED__