the anesthetic is a queen.
sent1: the pomologist is not toroidal. sent2: there is something such that it does crook gallamine. sent3: the anesthetic is both an interlude and a owlet. sent4: the fact that the catmint queens and it crooks gallamine is incorrect if the eschar is not a kind of a owlet. sent5: there exists something such that it is a owlet. sent6: the gazania is a owlet. sent7: something that is not commutable is a kind of syntactic thing that is a zero. sent8: if something is syntactic then it is a Spender. sent9: the gazania crooks gallamine and it is a owlet. sent10: that the anesthetic is a queen is not wrong if something crooks gallamine and is a kind of a owlet. sent11: if the fact that something is commutable thing that is shamanist is not true it is not commutable. sent12: something is not a queen if it does not crook logarithm and is an isomer. sent13: the pomologist is not spondaic but it cancels bulkiness if it is not toroidal. sent14: if the beekeeper does crook logarithm and it is an isomer the eschar is not a kind of a owlet. sent15: the beekeeper does crook logarithm and it is an isomer if there exists something such that it is a kind of a Spender. sent16: the anesthetic is reactive thing that restrains. sent17: the cheerer is not a kind of an insecticide if something is not spondaic and does cancel bulkiness. sent18: that the locator is commutable thing that is shamanist is incorrect if there exists something such that it is not an insecticide.
sent9 -> int1: there is something such that it crooks gallamine and it is a owlet.; int1 & sent10 -> hypothesis;
the anesthetic is not a queen.
sent8 -> int2: if the locator is syntactic then it is a Spender.; sent7 -> int3: the locator is syntactic and it is not non-zero if the fact that it is not commutable is true.; sent11 -> int4: the locator is not commutable if the fact that it is both not commutable and not non-shamanist is not true.; sent13 & sent1 -> int5: the pomologist is not spondaic but it cancels bulkiness.; int5 -> int6: there exists something such that it is non-spondaic thing that cancels bulkiness.; int6 & sent17 -> int7: the cheerer is not an insecticide.; int7 -> int8: there exists something such that it is not a kind of an insecticide.; int8 & sent18 -> int9: the fact that the locator is commutable and shamanist is not true.; int4 & int9 -> int10: the locator is not commutable.; int3 & int10 -> int11: the locator is both syntactic and zero.; int11 -> int12: the locator is syntactic.; int2 & int12 -> int13: the locator is a Spender.; int13 -> int14: something is a Spender.; int14 & sent15 -> int15: the beekeeper does crook logarithm and is a kind of an isomer.; sent14 & int15 -> int16: the eschar is not a owlet.; sent4 & int16 -> int17: the fact that the catmint is a queen that does crook gallamine is not correct.; int17 -> int18: there is something such that the fact that it does queen and crooks gallamine is not right.;
$hypothesis$ = the anesthetic is a queen. ; $context$ = sent1: the pomologist is not toroidal. sent2: there is something such that it does crook gallamine. sent3: the anesthetic is both an interlude and a owlet. sent4: the fact that the catmint queens and it crooks gallamine is incorrect if the eschar is not a kind of a owlet. sent5: there exists something such that it is a owlet. sent6: the gazania is a owlet. sent7: something that is not commutable is a kind of syntactic thing that is a zero. sent8: if something is syntactic then it is a Spender. sent9: the gazania crooks gallamine and it is a owlet. sent10: that the anesthetic is a queen is not wrong if something crooks gallamine and is a kind of a owlet. sent11: if the fact that something is commutable thing that is shamanist is not true it is not commutable. sent12: something is not a queen if it does not crook logarithm and is an isomer. sent13: the pomologist is not spondaic but it cancels bulkiness if it is not toroidal. sent14: if the beekeeper does crook logarithm and it is an isomer the eschar is not a kind of a owlet. sent15: the beekeeper does crook logarithm and it is an isomer if there exists something such that it is a kind of a Spender. sent16: the anesthetic is reactive thing that restrains. sent17: the cheerer is not a kind of an insecticide if something is not spondaic and does cancel bulkiness. sent18: that the locator is commutable thing that is shamanist is incorrect if there exists something such that it is not an insecticide. ; $proof$ = 
sent9 -> int1: there is something such that it crooks gallamine and it is a owlet.; int1 & sent10 -> hypothesis; __PROVED__