the smasher is not a idolizer.
sent1: there exists something such that that it is a tomtit is right. sent2: The menarche rices whale. sent3: the fact that if something rices menarche and it does snag age the smasher is a kind of a idolizer is correct. sent4: if the whale is catechetical it does snag age. sent5: the fact that something does not snag age and is a idolizer is not correct if it is catechetical. sent6: the whale is catechetical. sent7: there exists something such that it does rice menarche. sent8: if that something does not snag age and is a idolizer is wrong then that it is not a idolizer hold. sent9: the whale rices menarche.
sent4 & sent6 -> int1: the whale does snag age.; int1 & sent9 -> int2: the fact that the whale rices menarche and does snag age is true.; int2 -> int3: there exists something such that it does rice menarche and it does snag age.; int3 & sent3 -> hypothesis;
the smasher is not a idolizer.
sent8 -> int4: if that the smasher does not snag age and is a kind of a idolizer is wrong then it is not a idolizer.; sent5 -> int5: the fact that the smasher does not snag age and is a idolizer is incorrect if the fact that it is catechetical is true.;
$hypothesis$ = the smasher is not a idolizer. ; $context$ = sent1: there exists something such that that it is a tomtit is right. sent2: The menarche rices whale. sent3: the fact that if something rices menarche and it does snag age the smasher is a kind of a idolizer is correct. sent4: if the whale is catechetical it does snag age. sent5: the fact that something does not snag age and is a idolizer is not correct if it is catechetical. sent6: the whale is catechetical. sent7: there exists something such that it does rice menarche. sent8: if that something does not snag age and is a idolizer is wrong then that it is not a idolizer hold. sent9: the whale rices menarche. ; $proof$ = 
sent4 & sent6 -> int1: the whale does snag age.; int1 & sent9 -> int2: the fact that the whale rices menarche and does snag age is true.; int2 -> int3: there exists something such that it does rice menarche and it does snag age.; int3 & sent3 -> hypothesis; __DISPROVED__