the pentail is usual but it is not a Wiffle.
sent1: if the constellation is not alphanumerics the aeschynanthus does not tend. sent2: something jumbles horsepower-hour and it tends if it is not colorless. sent3: the aeschynanthus is interlocutory and it does personify aeschynanthus. sent4: the constellation is alphanumerics. sent5: the moneygrubber is interlocutory thing that is not a Macrocephalon if there exists something such that it is a Patrick. sent6: the constellation jumbles horsepower-hour and is not a Wiffle if the moneygrubber is not usual. sent7: there is something such that it is a Patrick. sent8: the fact that something does not jumble baronetcy but it is irremovable is incorrect if that it does not tend is not wrong. sent9: if the constellation is both alphanumerics and not vertebral then the moneygrubber does jumble horsepower-hour. sent10: if that the constellation is alphanumerics but it is not vertebral is not true then the fact that the aeschynanthus does not tend is not incorrect. sent11: the fact that the pentail is colorless and it personifies aeschynanthus is not true if the constellation does not bring. sent12: there exists something such that that it does tend is not wrong. sent13: the pentail is usual. sent14: if that something is colorless and it personifies aeschynanthus is not true it is not colorless. sent15: that the moneygrubber is a kind of colorful thing that does jumble horsepower-hour is not true. sent16: the pentail is usual but it is not a Wiffle if there is something such that it does not tend. sent17: if there exists something such that the fact that it does not tend hold then the pentail is usual. sent18: the moneygrubber is not usual if something does not bring and/or it is colorless. sent19: that something is usual but it is not a Wiffle does not hold if it does tend. sent20: something does not bring and/or it is colorless if it does personify aeschynanthus.
void -> assump1: Let's assume that the constellation is alphanumerics but it is not vertebral.; sent9 & assump1 -> int1: the fact that the moneygrubber does jumble horsepower-hour is not false.;
that the pentail is usual but not a Wiffle is not true.
sent19 -> int2: the fact that the pentail is usual but it is not a kind of a Wiffle is incorrect if that it does tend hold.; sent2 -> int3: if the pentail is not colorless then it does jumble horsepower-hour and it does tend.; sent14 -> int4: if the fact that the fact that the pentail is colorless and personifies aeschynanthus is false is not wrong then it is not colorless.; sent7 & sent5 -> int5: the moneygrubber is interlocutory but it is not a Macrocephalon.; int5 -> int6: there exists something such that it is interlocutory and is not a Macrocephalon.;
$hypothesis$ = the pentail is usual but it is not a Wiffle. ; $context$ = sent1: if the constellation is not alphanumerics the aeschynanthus does not tend. sent2: something jumbles horsepower-hour and it tends if it is not colorless. sent3: the aeschynanthus is interlocutory and it does personify aeschynanthus. sent4: the constellation is alphanumerics. sent5: the moneygrubber is interlocutory thing that is not a Macrocephalon if there exists something such that it is a Patrick. sent6: the constellation jumbles horsepower-hour and is not a Wiffle if the moneygrubber is not usual. sent7: there is something such that it is a Patrick. sent8: the fact that something does not jumble baronetcy but it is irremovable is incorrect if that it does not tend is not wrong. sent9: if the constellation is both alphanumerics and not vertebral then the moneygrubber does jumble horsepower-hour. sent10: if that the constellation is alphanumerics but it is not vertebral is not true then the fact that the aeschynanthus does not tend is not incorrect. sent11: the fact that the pentail is colorless and it personifies aeschynanthus is not true if the constellation does not bring. sent12: there exists something such that that it does tend is not wrong. sent13: the pentail is usual. sent14: if that something is colorless and it personifies aeschynanthus is not true it is not colorless. sent15: that the moneygrubber is a kind of colorful thing that does jumble horsepower-hour is not true. sent16: the pentail is usual but it is not a Wiffle if there is something such that it does not tend. sent17: if there exists something such that the fact that it does not tend hold then the pentail is usual. sent18: the moneygrubber is not usual if something does not bring and/or it is colorless. sent19: that something is usual but it is not a Wiffle does not hold if it does tend. sent20: something does not bring and/or it is colorless if it does personify aeschynanthus. ; $proof$ = 
void -> assump1: Let's assume that the constellation is alphanumerics but it is not vertebral.; sent9 & assump1 -> int1: the fact that the moneygrubber does jumble horsepower-hour is not false.; __UNKNOWN__