the official is asteroidal.
sent1: something that is both a aerator and not a raincoat is not asteroidal. sent2: if the fact that the West-sider is not a coke is right the official is microelectronic and it is distributional. sent3: the N is a raincoat if it is a intercostal. sent4: the fact that the smelter is microelectronic and cokes is not right. sent5: if something is not a trimmer the latch is a coke. sent6: the fact that the fact that the official is a kind of a aerator and it malingers lepidopterist is wrong if the latch is not a aerator is not incorrect. sent7: if something does whore it is asteroidal. sent8: that the fact that the smelter cokes and it is a kind of a flow is not right is correct if the Juneberry is not a cokes. sent9: the fact that the latch is a trimmer but it does not malinger lepidopterist is not true. sent10: if something that does flow is a kind of a aerator then it is not a raincoat. sent11: the Juneberry is not a flow. sent12: the official does not malinger lepidopterist. sent13: the official is a kind of a aerator if there exists something such that that it is a kind of a trimmer that does not malinger lepidopterist does not hold. sent14: something does whore if the fact that it does not whore and it is not a kind of a bulletin is incorrect. sent15: that the West-sider is a coke and it is distributional does not hold. sent16: if there exists something such that it does not whore then the West-sider is microelectronic. sent17: if there is something such that that it is asteroidal and it is not distributional is incorrect then the West-sider is a coke. sent18: something is a kind of a bulletin if the fact that it is microelectronic is correct. sent19: if that the smelter does coke and flows is false the official is not a raincoat. sent20: that the official is a raincoat and a coke is false. sent21: if the West-sider is distributional or a bulletin or both then the Juneberry does not coke. sent22: the fact that the official does not whore and is not a kind of a bulletin is wrong if it is microelectronic. sent23: something is not a coke if it is not a kind of a raincoat. sent24: there is something such that it does not whore. sent25: there is something such that the fact that it is a coke and it is a raincoat is not true.
sent24 & sent16 -> int1: the West-sider is microelectronic.; sent18 -> int2: the West-sider bulletins if it is microelectronic.; int1 & int2 -> int3: the West-sider is a bulletin.; int3 -> int4: either the West-sider is distributional or it does bulletin or both.; int4 & sent21 -> int5: the Juneberry does not coke.; int5 & sent8 -> int6: that the smelter does coke and is a flow is not correct.; int6 & sent19 -> int7: the official is not a raincoat.; sent9 -> int8: there exists something such that that it is a trimmer and does not malinger lepidopterist is false.; int8 & sent13 -> int9: the official is a kind of a aerator.; int7 & int9 -> int10: the official is a aerator but it is not a kind of a raincoat.; sent1 -> int11: if the official is a aerator and is not a raincoat then it is not asteroidal.; int10 & int11 -> hypothesis;
the official is asteroidal.
sent7 -> int12: the official is asteroidal if that it whores hold.; sent14 -> int13: the official whores if that it does not whores and it is not a bulletin is wrong.; sent23 -> int14: the West-sider does not coke if it is not a kind of a raincoat.; sent10 -> int15: the West-sider is not a kind of a raincoat if it is a flow and it is a aerator.;
$hypothesis$ = the official is asteroidal. ; $context$ = sent1: something that is both a aerator and not a raincoat is not asteroidal. sent2: if the fact that the West-sider is not a coke is right the official is microelectronic and it is distributional. sent3: the N is a raincoat if it is a intercostal. sent4: the fact that the smelter is microelectronic and cokes is not right. sent5: if something is not a trimmer the latch is a coke. sent6: the fact that the fact that the official is a kind of a aerator and it malingers lepidopterist is wrong if the latch is not a aerator is not incorrect. sent7: if something does whore it is asteroidal. sent8: that the fact that the smelter cokes and it is a kind of a flow is not right is correct if the Juneberry is not a cokes. sent9: the fact that the latch is a trimmer but it does not malinger lepidopterist is not true. sent10: if something that does flow is a kind of a aerator then it is not a raincoat. sent11: the Juneberry is not a flow. sent12: the official does not malinger lepidopterist. sent13: the official is a kind of a aerator if there exists something such that that it is a kind of a trimmer that does not malinger lepidopterist does not hold. sent14: something does whore if the fact that it does not whore and it is not a kind of a bulletin is incorrect. sent15: that the West-sider is a coke and it is distributional does not hold. sent16: if there exists something such that it does not whore then the West-sider is microelectronic. sent17: if there is something such that that it is asteroidal and it is not distributional is incorrect then the West-sider is a coke. sent18: something is a kind of a bulletin if the fact that it is microelectronic is correct. sent19: if that the smelter does coke and flows is false the official is not a raincoat. sent20: that the official is a raincoat and a coke is false. sent21: if the West-sider is distributional or a bulletin or both then the Juneberry does not coke. sent22: the fact that the official does not whore and is not a kind of a bulletin is wrong if it is microelectronic. sent23: something is not a coke if it is not a kind of a raincoat. sent24: there is something such that it does not whore. sent25: there is something such that the fact that it is a coke and it is a raincoat is not true. ; $proof$ = 
sent24 & sent16 -> int1: the West-sider is microelectronic.; sent18 -> int2: the West-sider bulletins if it is microelectronic.; int1 & int2 -> int3: the West-sider is a bulletin.; int3 -> int4: either the West-sider is distributional or it does bulletin or both.; int4 & sent21 -> int5: the Juneberry does not coke.; int5 & sent8 -> int6: that the smelter does coke and is a flow is not correct.; int6 & sent19 -> int7: the official is not a raincoat.; sent9 -> int8: there exists something such that that it is a trimmer and does not malinger lepidopterist is false.; int8 & sent13 -> int9: the official is a kind of a aerator.; int7 & int9 -> int10: the official is a aerator but it is not a kind of a raincoat.; sent1 -> int11: if the official is a aerator and is not a raincoat then it is not asteroidal.; int10 & int11 -> hypothesis; __DISPROVED__