the lowboy is fundamentalist.
sent1: if the bay does litigate the porphyrin is suburban. sent2: the lowboy is not a kind of a fundamentalist if there exists something such that that it is a Rittenhouse and fundamentalist is incorrect. sent3: something is on if it is suburban. sent4: the bay litigates if it is a Rittenhouse. sent5: something that is a Fremontodendron is fundamentalist. sent6: the lowboy is a kind of a Fremontodendron if the porphyrin is on.
sent3 -> int1: if the porphyrin is suburban it is on.; sent5 -> int2: if the lowboy is a kind of a Fremontodendron it is a fundamentalist.;
the lowboy is not a fundamentalist.
$hypothesis$ = the lowboy is fundamentalist. ; $context$ = sent1: if the bay does litigate the porphyrin is suburban. sent2: the lowboy is not a kind of a fundamentalist if there exists something such that that it is a Rittenhouse and fundamentalist is incorrect. sent3: something is on if it is suburban. sent4: the bay litigates if it is a Rittenhouse. sent5: something that is a Fremontodendron is fundamentalist. sent6: the lowboy is a kind of a Fremontodendron if the porphyrin is on. ; $proof$ = 
sent3 -> int1: if the porphyrin is suburban it is on.; sent5 -> int2: if the lowboy is a kind of a Fremontodendron it is a fundamentalist.; __UNKNOWN__