there exists something such that if it is not a kind of a Emile then it is not provencal or it moves Pasternak or both.
sent1: if something does not move antacid the fact that it dissociates staphylococcus and it is a Emile is not correct. sent2: everything is stoichiometric thing that aggregates NIH. sent3: something is a Emile if the fact that it is not provencal or moves Pasternak or both is false. sent4: the oculomotor does not move Pasternak. sent5: if something yells population then it aggregates caterwaul. sent6: something is meritocratic and it is provencal if it is not a Emile. sent7: if the cutthroat is a Tarquin the smiler yells population. sent8: if the fact that the cellar does dissociate staphylococcus and is a kind of a Emile is not true then the staphylococcus is not a Emile. sent9: if there exists something such that it arranges the cellar does not move antacid. sent10: if there exists something such that it aggregates NIH then the cutthroat does yell population or it is a Tarquin or both. sent11: if the cutthroat yells population the smiler yells population. sent12: if there is something such that it is provencal then the autoantibody is not vehicular or provencal or both. sent13: the oculomotor is not provencal or it does move Pasternak or both if it is a kind of a Emile. sent14: if the smiler aggregates caterwaul then that the bumper does not move baptism and does not arrange is wrong. sent15: that the oculomotor is a Emile is true if that it is provencal or moves Pasternak or both is not true. sent16: there is something such that if it is postbiblical then it is either not nonsyllabic or not non-immanent or both. sent17: if the fact that something does not move baptism and does not arrange is not right then it does arrange.
sent3 -> int1: if that the oculomotor is not provencal and/or it moves Pasternak does not hold then it is a Emile.; void -> assump2: Let's assume that that the oculomotor is not provencal and/or it moves Pasternak is incorrect.; int1 & assump2 -> int2: the oculomotor is a Emile.; void -> assump1: Let's assume that the oculomotor is not a Emile.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: either the oculomotor is not provencal or it moves Pasternak or both.; [assump1] & int4 -> int5: if the oculomotor is not a Emile then it is not provencal or does move Pasternak or both.; int5 -> hypothesis;
the autoantibody is not vehicular or it is provencal or both.
sent6 -> int6: the staphylococcus is meritocratic and it is provencal if it is not a Emile.; sent1 -> int7: that the cellar dissociates staphylococcus and it is a kind of a Emile is wrong if it does not move antacid.; sent17 -> int8: the bumper does arrange if that it does not move baptism and does not arrange is false.; sent5 -> int9: the fact that the smiler aggregates caterwaul if the smiler does yell population is not incorrect.; sent2 -> int10: the thunderstorm is stoichiometric and it does aggregate NIH.; int10 -> int11: the fact that the thunderstorm aggregates NIH hold.; int11 -> int12: there is something such that it aggregates NIH.; int12 & sent10 -> int13: the cutthroat does yell population and/or it is a kind of a Tarquin.; int13 & sent11 & sent7 -> int14: the smiler yells population.; int9 & int14 -> int15: the smiler does aggregate caterwaul.; sent14 & int15 -> int16: the fact that the bumper does not move baptism and does not arrange does not hold.; int8 & int16 -> int17: the fact that the bumper arranges hold.; int17 -> int18: there exists something such that it does arrange.; int18 & sent9 -> int19: the cellar does not move antacid.; int7 & int19 -> int20: that the cellar does dissociate staphylococcus and is a Emile is incorrect.; sent8 & int20 -> int21: the staphylococcus is not a Emile.; int6 & int21 -> int22: the staphylococcus is a kind of meritocratic thing that is provencal.; int22 -> int23: the staphylococcus is not non-provencal.; int23 -> int24: there are provencal things.; int24 & sent12 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a kind of a Emile then it is not provencal or it moves Pasternak or both. ; $context$ = sent1: if something does not move antacid the fact that it dissociates staphylococcus and it is a Emile is not correct. sent2: everything is stoichiometric thing that aggregates NIH. sent3: something is a Emile if the fact that it is not provencal or moves Pasternak or both is false. sent4: the oculomotor does not move Pasternak. sent5: if something yells population then it aggregates caterwaul. sent6: something is meritocratic and it is provencal if it is not a Emile. sent7: if the cutthroat is a Tarquin the smiler yells population. sent8: if the fact that the cellar does dissociate staphylococcus and is a kind of a Emile is not true then the staphylococcus is not a Emile. sent9: if there exists something such that it arranges the cellar does not move antacid. sent10: if there exists something such that it aggregates NIH then the cutthroat does yell population or it is a Tarquin or both. sent11: if the cutthroat yells population the smiler yells population. sent12: if there is something such that it is provencal then the autoantibody is not vehicular or provencal or both. sent13: the oculomotor is not provencal or it does move Pasternak or both if it is a kind of a Emile. sent14: if the smiler aggregates caterwaul then that the bumper does not move baptism and does not arrange is wrong. sent15: that the oculomotor is a Emile is true if that it is provencal or moves Pasternak or both is not true. sent16: there is something such that if it is postbiblical then it is either not nonsyllabic or not non-immanent or both. sent17: if the fact that something does not move baptism and does not arrange is not right then it does arrange. ; $proof$ = 
sent3 -> int1: if that the oculomotor is not provencal and/or it moves Pasternak does not hold then it is a Emile.; void -> assump2: Let's assume that that the oculomotor is not provencal and/or it moves Pasternak is incorrect.; int1 & assump2 -> int2: the oculomotor is a Emile.; void -> assump1: Let's assume that the oculomotor is not a Emile.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: either the oculomotor is not provencal or it moves Pasternak or both.; [assump1] & int4 -> int5: if the oculomotor is not a Emile then it is not provencal or does move Pasternak or both.; int5 -> hypothesis; __PROVED__