the burdock beggars intifada.
sent1: the aviatrix is a kind of a trigger if there is something such that that it is a kind of a Cross and is not normal is false. sent2: the burdock hogs division. sent3: the engraver is not handmade. sent4: that the aviatrix is a kind of a Cross and it is a kind of a trigger is incorrect if the engraver is not handmade. sent5: there is something such that that it is a Cross and normal is wrong. sent6: the adventurer is handmade if there exists something such that it is normal. sent7: if there exists something such that the fact that it is normal hold the aviatrix is a trigger. sent8: if there is something such that it beggars intifada the adventurer is a kind of a Cross. sent9: there is something such that it is a Cross and it is not normal. sent10: if there is something such that it is handmade the engraver triggers. sent11: the burdock does beggar intifada if the aviatrix is a trigger. sent12: if that the aviatrix is a bollock hold then the adventurer is a bollock. sent13: there exists something such that the fact that it is a Cross and is handmade does not hold. sent14: that the adventurer is a Cross and is not normal is false if the engraver is not handmade. sent15: if the adventurer is a bollock then it does not trigger. sent16: if the engraver is a kind of non-handmade thing that does not beggar intifada then that the burdock does not beggar intifada is correct. sent17: if there is something such that the fact that it does repress monocyte is correct the engraver is a kind of a catfish. sent18: that the adventurer is normal and it beggars intifada is incorrect. sent19: the aviatrix is a bollock if the interpreter is a bollock.
sent14 & sent3 -> int1: the fact that the adventurer is a Cross but it is not normal is false.; int1 -> int2: there exists something such that the fact that it is a Cross and it is non-normal is incorrect.; int2 & sent1 -> int3: the aviatrix triggers.; sent11 & int3 -> hypothesis;
the burdock does not beggar intifada.
$hypothesis$ = the burdock beggars intifada. ; $context$ = sent1: the aviatrix is a kind of a trigger if there is something such that that it is a kind of a Cross and is not normal is false. sent2: the burdock hogs division. sent3: the engraver is not handmade. sent4: that the aviatrix is a kind of a Cross and it is a kind of a trigger is incorrect if the engraver is not handmade. sent5: there is something such that that it is a Cross and normal is wrong. sent6: the adventurer is handmade if there exists something such that it is normal. sent7: if there exists something such that the fact that it is normal hold the aviatrix is a trigger. sent8: if there is something such that it beggars intifada the adventurer is a kind of a Cross. sent9: there is something such that it is a Cross and it is not normal. sent10: if there is something such that it is handmade the engraver triggers. sent11: the burdock does beggar intifada if the aviatrix is a trigger. sent12: if that the aviatrix is a bollock hold then the adventurer is a bollock. sent13: there exists something such that the fact that it is a Cross and is handmade does not hold. sent14: that the adventurer is a Cross and is not normal is false if the engraver is not handmade. sent15: if the adventurer is a bollock then it does not trigger. sent16: if the engraver is a kind of non-handmade thing that does not beggar intifada then that the burdock does not beggar intifada is correct. sent17: if there is something such that the fact that it does repress monocyte is correct the engraver is a kind of a catfish. sent18: that the adventurer is normal and it beggars intifada is incorrect. sent19: the aviatrix is a bollock if the interpreter is a bollock. ; $proof$ = 
sent14 & sent3 -> int1: the fact that the adventurer is a Cross but it is not normal is false.; int1 -> int2: there exists something such that the fact that it is a Cross and it is non-normal is incorrect.; int2 & sent1 -> int3: the aviatrix triggers.; sent11 & int3 -> hypothesis; __PROVED__