if the pyromaniac is not a kind of an equipment then the ergosterol does not unmake muscat and does eliminate Wheatley.
sent1: The Wheatley eliminates ergosterol. sent2: if the pyromaniac is a kind of an equipment the ergosterol does not unmake muscat and does eliminate Wheatley. sent3: the pyromaniac is not removable if the ergosterol unmakes muscat and is a advertence. sent4: the anatomist is a Cimicidae and it is a kind of an equipment. sent5: if something is a advertence then it is a kind of a coastland. sent6: the pyromaniac is Arminian a poet. sent7: the pyromaniac is not a Katowice if the fact that it is not removable and it is not an equipment hold. sent8: the pyromaniac does not unmake muscat. sent9: the canyonside is not a Katowice. sent10: the ergosterol is undramatic but it is a zone. sent11: the habit is not a Katowice. sent12: the umber is not a kind of a Katowice. sent13: the rendezvous is a advertence. sent14: the ergosterol is a kind of a advertence. sent15: the pyromaniac is a Bach or it is a partner or both if there is something such that it is not expensive. sent16: the ergosterol is a hush if the pyromaniac is a Bach. sent17: if the pyromaniac is an equipment and it is a advertence then the ergosterol is not a Katowice. sent18: the ergosterol eliminates Wheatley. sent19: the pyromaniac is a Katowice. sent20: the rendezvous is not an equipment if the ergosterol does eliminate Wheatley but it is not a Katowice. sent21: the ergosterol is a Katowice. sent22: the pyromaniac eliminates Wheatley. sent23: the lentil is not expensive. sent24: something eliminates Wheatley and is not a Katowice if it does hush. sent25: if the pyromaniac is a kind of irremovable an equipment it is not a Katowice.
void -> assump2: Let's assume that the ergosterol does unmake muscat.; assump2 & sent14 -> int1: the ergosterol does unmake muscat and it is a advertence.; int1 & sent3 -> int2: that the pyromaniac is not removable is right.; void -> assump1: Let's assume that the pyromaniac is not an equipment.; int2 & assump1 -> int3: the pyromaniac is both irremovable and not an equipment.; int3 & sent7 -> int4: the pyromaniac is not a Katowice.; int4 & sent19 -> int5: this is contradiction.; [assump2] & int5 -> int6: the ergosterol does not unmake muscat.; int6 & sent18 -> int7: the ergosterol does not unmake muscat and eliminates Wheatley.; [assump1] & int7 -> hypothesis;
the rendezvous is removable and it is a kind of a coastland.
sent24 -> int8: the ergosterol does eliminate Wheatley but it is not a kind of a Katowice if it hushes.; sent23 -> int9: something is non-expensive.; int9 & sent15 -> int10: the pyromaniac is a Bach and/or it is a partner.; sent5 -> int11: the rendezvous is a coastland if it is a advertence.; int11 & sent13 -> int12: the rendezvous is a coastland.;
$hypothesis$ = if the pyromaniac is not a kind of an equipment then the ergosterol does not unmake muscat and does eliminate Wheatley. ; $context$ = sent1: The Wheatley eliminates ergosterol. sent2: if the pyromaniac is a kind of an equipment the ergosterol does not unmake muscat and does eliminate Wheatley. sent3: the pyromaniac is not removable if the ergosterol unmakes muscat and is a advertence. sent4: the anatomist is a Cimicidae and it is a kind of an equipment. sent5: if something is a advertence then it is a kind of a coastland. sent6: the pyromaniac is Arminian a poet. sent7: the pyromaniac is not a Katowice if the fact that it is not removable and it is not an equipment hold. sent8: the pyromaniac does not unmake muscat. sent9: the canyonside is not a Katowice. sent10: the ergosterol is undramatic but it is a zone. sent11: the habit is not a Katowice. sent12: the umber is not a kind of a Katowice. sent13: the rendezvous is a advertence. sent14: the ergosterol is a kind of a advertence. sent15: the pyromaniac is a Bach or it is a partner or both if there is something such that it is not expensive. sent16: the ergosterol is a hush if the pyromaniac is a Bach. sent17: if the pyromaniac is an equipment and it is a advertence then the ergosterol is not a Katowice. sent18: the ergosterol eliminates Wheatley. sent19: the pyromaniac is a Katowice. sent20: the rendezvous is not an equipment if the ergosterol does eliminate Wheatley but it is not a Katowice. sent21: the ergosterol is a Katowice. sent22: the pyromaniac eliminates Wheatley. sent23: the lentil is not expensive. sent24: something eliminates Wheatley and is not a Katowice if it does hush. sent25: if the pyromaniac is a kind of irremovable an equipment it is not a Katowice. ; $proof$ = 
void -> assump2: Let's assume that the ergosterol does unmake muscat.; assump2 & sent14 -> int1: the ergosterol does unmake muscat and it is a advertence.; int1 & sent3 -> int2: that the pyromaniac is not removable is right.; void -> assump1: Let's assume that the pyromaniac is not an equipment.; int2 & assump1 -> int3: the pyromaniac is both irremovable and not an equipment.; int3 & sent7 -> int4: the pyromaniac is not a Katowice.; int4 & sent19 -> int5: this is contradiction.; [assump2] & int5 -> int6: the ergosterol does not unmake muscat.; int6 & sent18 -> int7: the ergosterol does not unmake muscat and eliminates Wheatley.; [assump1] & int7 -> hypothesis; __PROVED__