the decrease is not a Seward.
sent1: if the fact that the housepaint does not wave diameter and is not a kind of a Nietzsche is not true the decrease is not a Seward. sent2: that the hookworm does wave diameter and does not troll arrack does not hold if the housepaint does not wave diameter. sent3: the cocktail is a kind of a chromium. sent4: the fact that the hookworm does not wave diameter and is a chromium is wrong if the eggar is mud-brick. sent5: that the hookworm is both not a chromium and not mud-brick is not correct. sent6: the decrease does not troll arrack. sent7: the hookworm is not a chromium. sent8: if that something does not troll arrack or is ponderable or both is true then it is ponderable. sent9: the fact that the fact that the eggar is a kind of non-mud-brick thing that does not wave diameter hold is not right. sent10: the housepaint does not wave diameter. sent11: if the cocktail is ponderable then that the housepaint waves diameter but it is not a Nietzsche does not hold. sent12: if the eggar is a Seward then that the decrease does not troll arrack and waves diameter is wrong. sent13: the fact that that the hookworm is a Nietzsche but it is not a chromium is correct is not true. sent14: that the eggar does not troll arrack and it is not mud-brick is not true if the hookworm does not troll arrack. sent15: if the fact that the housepaint is not mud-brick is right that the fact that the eggar is mud-brick but not a Nietzsche is wrong is not false. sent16: the hookworm is a chromium if it does troll arrack. sent17: the cocktail is ponderable if that the eggar does not troll arrack and is not mud-brick does not hold. sent18: if something does troll arrack then it is a Seward.
void -> assump1: Let's assume that the hookworm does troll arrack.; sent16 & assump1 -> int1: the hookworm is a chromium.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hookworm does not troll arrack.; int3 & sent14 -> int4: that the eggar does not troll arrack and it is not mud-brick is not correct.; int4 & sent17 -> int5: the cocktail is ponderable.;
the decrease is a Seward.
sent18 -> int6: the fact that the decrease is a Seward is not false if it trolls arrack.;
$hypothesis$ = the decrease is not a Seward. ; $context$ = sent1: if the fact that the housepaint does not wave diameter and is not a kind of a Nietzsche is not true the decrease is not a Seward. sent2: that the hookworm does wave diameter and does not troll arrack does not hold if the housepaint does not wave diameter. sent3: the cocktail is a kind of a chromium. sent4: the fact that the hookworm does not wave diameter and is a chromium is wrong if the eggar is mud-brick. sent5: that the hookworm is both not a chromium and not mud-brick is not correct. sent6: the decrease does not troll arrack. sent7: the hookworm is not a chromium. sent8: if that something does not troll arrack or is ponderable or both is true then it is ponderable. sent9: the fact that the fact that the eggar is a kind of non-mud-brick thing that does not wave diameter hold is not right. sent10: the housepaint does not wave diameter. sent11: if the cocktail is ponderable then that the housepaint waves diameter but it is not a Nietzsche does not hold. sent12: if the eggar is a Seward then that the decrease does not troll arrack and waves diameter is wrong. sent13: the fact that that the hookworm is a Nietzsche but it is not a chromium is correct is not true. sent14: that the eggar does not troll arrack and it is not mud-brick is not true if the hookworm does not troll arrack. sent15: if the fact that the housepaint is not mud-brick is right that the fact that the eggar is mud-brick but not a Nietzsche is wrong is not false. sent16: the hookworm is a chromium if it does troll arrack. sent17: the cocktail is ponderable if that the eggar does not troll arrack and is not mud-brick does not hold. sent18: if something does troll arrack then it is a Seward. ; $proof$ = 
void -> assump1: Let's assume that the hookworm does troll arrack.; sent16 & assump1 -> int1: the hookworm is a chromium.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the hookworm does not troll arrack.; int3 & sent14 -> int4: that the eggar does not troll arrack and it is not mud-brick is not correct.; int4 & sent17 -> int5: the cocktail is ponderable.; __UNKNOWN__