the Pharisee is not unjust.
sent1: something is unjust if it is imprecise. sent2: the Pharisee does not screen. sent3: that the weldment is attitudinal is right. sent4: if the pulsation is not onomatopoeic then it is not Romany. sent5: that the fact that the oakum is both postnuptial and not a screen hold is incorrect. sent6: either the Marxist does dusk two-hitter or it is attitudinal or both. sent7: the blister is attitudinal if the Marxist does not disrespect weldment and/or it is not a kind of a Messidor. sent8: the Pharisee is postnuptial. sent9: if there is something such that the fact that it is postnuptial and it is not a screen does not hold the blister is imprecise. sent10: the pulsation is not onomatopoeic. sent11: if something dusks two-hitter it is imprecise. sent12: if something is a ZIP then it either does not disrespect weldment or is not a Messidor or both. sent13: if something is not postnuptial the blister is imprecise. sent14: the Pharisee is not unjust if there is something such that it does dusk two-hitter and/or it is not attitudinal. sent15: there exists something such that that it is both postnuptial and a screen is false. sent16: the vacuole is a sexed. sent17: the fact that that something does dusk two-hitter and is not imprecise is not incorrect is not correct if it is attitudinal. sent18: if the blister is imprecise then the Marxist dusks two-hitter.
sent5 -> int1: there exists something such that the fact that it is a kind of postnuptial thing that is not a screen does not hold.; int1 & sent9 -> int2: the blister is imprecise.; sent18 & int2 -> int3: the Marxist dusks two-hitter.; int3 -> int4: the Marxist dusks two-hitter and/or it is not attitudinal.; int4 -> int5: there is something such that it dusks two-hitter and/or it is not attitudinal.; int5 & sent14 -> hypothesis;
the Pharisee is unjust.
sent1 -> int6: if the Pharisee is imprecise then it is unjust.; sent11 -> int7: that if the Pharisee dusks two-hitter then the Pharisee is imprecise is not false.; sent12 -> int8: if the Marxist is a ZIP then it does not disrespect weldment or it is not a kind of a Messidor or both.; sent4 & sent10 -> int9: the pulsation is non-Romany.; int9 -> int10: the fact that something is not Romany is right.;
$hypothesis$ = the Pharisee is not unjust. ; $context$ = sent1: something is unjust if it is imprecise. sent2: the Pharisee does not screen. sent3: that the weldment is attitudinal is right. sent4: if the pulsation is not onomatopoeic then it is not Romany. sent5: that the fact that the oakum is both postnuptial and not a screen hold is incorrect. sent6: either the Marxist does dusk two-hitter or it is attitudinal or both. sent7: the blister is attitudinal if the Marxist does not disrespect weldment and/or it is not a kind of a Messidor. sent8: the Pharisee is postnuptial. sent9: if there is something such that the fact that it is postnuptial and it is not a screen does not hold the blister is imprecise. sent10: the pulsation is not onomatopoeic. sent11: if something dusks two-hitter it is imprecise. sent12: if something is a ZIP then it either does not disrespect weldment or is not a Messidor or both. sent13: if something is not postnuptial the blister is imprecise. sent14: the Pharisee is not unjust if there is something such that it does dusk two-hitter and/or it is not attitudinal. sent15: there exists something such that that it is both postnuptial and a screen is false. sent16: the vacuole is a sexed. sent17: the fact that that something does dusk two-hitter and is not imprecise is not incorrect is not correct if it is attitudinal. sent18: if the blister is imprecise then the Marxist dusks two-hitter. ; $proof$ = 
sent5 -> int1: there exists something such that the fact that it is a kind of postnuptial thing that is not a screen does not hold.; int1 & sent9 -> int2: the blister is imprecise.; sent18 & int2 -> int3: the Marxist dusks two-hitter.; int3 -> int4: the Marxist dusks two-hitter and/or it is not attitudinal.; int4 -> int5: there is something such that it dusks two-hitter and/or it is not attitudinal.; int5 & sent14 -> hypothesis; __PROVED__