if the thundershower does spray emitter then the fact that the viceroyalty is a PO is correct.
sent1: the thundershower is not a hoe. sent2: something is not a puller but it is a hoe. sent3: the sickle sprays emitter. sent4: the thundershower is a PO if the viceroyalty is not a hoe. sent5: the door is Shavian if there is something such that it is not a kind of a puller and is not a hoe. sent6: the thundershower is not a kind of a PO. sent7: there is something such that it is a puller and it is not a hoe. sent8: something is not a kind of a hoe if it sprays emitter. sent9: the door is not a kind of a hoe. sent10: the emitter is not a kind of a hoe. sent11: something is not a puller. sent12: the viceroyalty is a PO if the emitter is not a politeness. sent13: something is not a kind of a puller and it is not a hoe if it sprays emitter. sent14: if the viceroyalty is a PO it is not a Shavian. sent15: something does not hoe. sent16: the emitter is not a politeness if the door is Shavian. sent17: that the thundershower hoes is not wrong if something that is not a kind of a politeness is not a Shavian. sent18: the door does not heap.
sent13 -> int1: the thundershower is both not a puller and not a hoe if it sprays emitter.; void -> assump1: Let's assume that the thundershower does spray emitter.; int1 & assump1 -> int2: the thundershower is not a puller and it does not hoe.; int2 -> int3: there is something such that it is not a kind of a puller and it is not a hoe.; int3 & sent5 -> int4: the fact that the door is a Shavian is correct.; int4 & sent16 -> int5: the fact that the emitter is not a politeness is correct.; int5 & sent12 -> int6: the viceroyalty is a PO.; [assump1] & int6 -> hypothesis;
$hypothesis$ = if the thundershower does spray emitter then the fact that the viceroyalty is a PO is correct. ; $context$ = sent1: the thundershower is not a hoe. sent2: something is not a puller but it is a hoe. sent3: the sickle sprays emitter. sent4: the thundershower is a PO if the viceroyalty is not a hoe. sent5: the door is Shavian if there is something such that it is not a kind of a puller and is not a hoe. sent6: the thundershower is not a kind of a PO. sent7: there is something such that it is a puller and it is not a hoe. sent8: something is not a kind of a hoe if it sprays emitter. sent9: the door is not a kind of a hoe. sent10: the emitter is not a kind of a hoe. sent11: something is not a puller. sent12: the viceroyalty is a PO if the emitter is not a politeness. sent13: something is not a kind of a puller and it is not a hoe if it sprays emitter. sent14: if the viceroyalty is a PO it is not a Shavian. sent15: something does not hoe. sent16: the emitter is not a politeness if the door is Shavian. sent17: that the thundershower hoes is not wrong if something that is not a kind of a politeness is not a Shavian. sent18: the door does not heap. ; $proof$ = 
sent13 -> int1: the thundershower is both not a puller and not a hoe if it sprays emitter.; void -> assump1: Let's assume that the thundershower does spray emitter.; int1 & assump1 -> int2: the thundershower is not a puller and it does not hoe.; int2 -> int3: there is something such that it is not a kind of a puller and it is not a hoe.; int3 & sent5 -> int4: the fact that the door is a Shavian is correct.; int4 & sent16 -> int5: the fact that the emitter is not a politeness is correct.; int5 & sent12 -> int6: the viceroyalty is a PO.; [assump1] & int6 -> hypothesis; __PROVED__