the muleteer is a solvent.
sent1: if something rolls cockloft then it is civics. sent2: if that something either is not a nonfiction or is a kind of a cosmopolitan or both does not hold it is not non-intergalactic. sent3: the muleteer is a methanogen. sent4: if that that something is a nonfiction or it is a kind of a cosmopolitan or both is right does not hold then it is intergalactic. sent5: if the churchwarden is intergalactic then the muleteer is a solvent. sent6: that the dildo does not roll cockloft and it is not civics is not correct if the sunchoke is not a methanogen. sent7: there is something such that it is not defensive. sent8: something is not a defensive and it is not hyaloplasmic if it does roll cockloft. sent9: something is not a methanogen if that it is not a scatter and/or is not a nonfiction is wrong. sent10: if the dildo is feminine but not cosmopolitan the tinkerer is civics. sent11: if the sunchoke is a kind of a scatter then the fact that the churchwarden is not a nonfiction or cosmopolitan or both is false. sent12: the fact that the dildo does not roll cockloft does not hold if there are non-feminine and defensive things. sent13: the tinkerer is not a feminine and it is not a kind of a defensive. sent14: the sunchoke is a scatter if the dildo is civics but it is not a methanogen. sent15: the tinkerer is not a defensive. sent16: if something is not feminine and not defensive the dildo rolls cockloft. sent17: the dildo is not a kind of a methanogen.
sent13 -> int1: something is non-feminine and is not defensive.; int1 & sent16 -> int2: the dildo does roll cockloft.; sent1 -> int3: if the dildo does roll cockloft then it is civics.; int2 & int3 -> int4: the dildo is civics.; int4 & sent17 -> int5: the dildo is civics thing that is not a kind of a methanogen.; int5 & sent14 -> int6: the sunchoke does scatter.; int6 & sent11 -> int7: the fact that the churchwarden is not a nonfiction or a cosmopolitan or both does not hold.; sent2 -> int8: if that the churchwarden is either not a nonfiction or a cosmopolitan or both is false then that it is intergalactic is not false.; int7 & int8 -> int9: the churchwarden is intergalactic.; int9 & sent5 -> hypothesis;
the reeve is not defensive and not hyaloplasmic.
sent8 -> int10: the reeve is non-defensive and it is not hyaloplasmic if it does roll cockloft.;
$hypothesis$ = the muleteer is a solvent. ; $context$ = sent1: if something rolls cockloft then it is civics. sent2: if that something either is not a nonfiction or is a kind of a cosmopolitan or both does not hold it is not non-intergalactic. sent3: the muleteer is a methanogen. sent4: if that that something is a nonfiction or it is a kind of a cosmopolitan or both is right does not hold then it is intergalactic. sent5: if the churchwarden is intergalactic then the muleteer is a solvent. sent6: that the dildo does not roll cockloft and it is not civics is not correct if the sunchoke is not a methanogen. sent7: there is something such that it is not defensive. sent8: something is not a defensive and it is not hyaloplasmic if it does roll cockloft. sent9: something is not a methanogen if that it is not a scatter and/or is not a nonfiction is wrong. sent10: if the dildo is feminine but not cosmopolitan the tinkerer is civics. sent11: if the sunchoke is a kind of a scatter then the fact that the churchwarden is not a nonfiction or cosmopolitan or both is false. sent12: the fact that the dildo does not roll cockloft does not hold if there are non-feminine and defensive things. sent13: the tinkerer is not a feminine and it is not a kind of a defensive. sent14: the sunchoke is a scatter if the dildo is civics but it is not a methanogen. sent15: the tinkerer is not a defensive. sent16: if something is not feminine and not defensive the dildo rolls cockloft. sent17: the dildo is not a kind of a methanogen. ; $proof$ = 
sent13 -> int1: something is non-feminine and is not defensive.; int1 & sent16 -> int2: the dildo does roll cockloft.; sent1 -> int3: if the dildo does roll cockloft then it is civics.; int2 & int3 -> int4: the dildo is civics.; int4 & sent17 -> int5: the dildo is civics thing that is not a kind of a methanogen.; int5 & sent14 -> int6: the sunchoke does scatter.; int6 & sent11 -> int7: the fact that the churchwarden is not a nonfiction or a cosmopolitan or both does not hold.; sent2 -> int8: if that the churchwarden is either not a nonfiction or a cosmopolitan or both is false then that it is intergalactic is not false.; int7 & int8 -> int9: the churchwarden is intergalactic.; int9 & sent5 -> hypothesis; __PROVED__