the rubicelle is not cannibalistic.
sent1: the orchid does not concern Boxer. sent2: something is a kind of a stature and/or it is bursal. sent3: that the rubicelle is Coleridgian is not incorrect. sent4: if the aculeus does reopen ignorance it is a kind of cannibalistic thing that does not concern Boxer. sent5: the aculeus is a Floridian. sent6: the rubicelle does inherit. sent7: the rubicelle is not cannibalistic if there exists something such that it does reopen ignorance. sent8: either the oxbow is cannibalistic or it is a kind of a waddler or both. sent9: the rubicelle does not reopen ignorance if either something concerns Boxer or it is cannibalistic or both. sent10: The Boxer does concern aculeus. sent11: the rubicelle does not concern Boxer if there is something such that it is cannibalistic and/or it does reopen ignorance. sent12: either something is cannibalistic or it does reopen ignorance or both. sent13: something is a Elaeagnus and/or is prepositional. sent14: the aculeus does not hoard. sent15: that the rubicelle is cannibalistic is true if the aculeus is cannibalistic but it does not concern Boxer. sent16: the aculeus does concern Boxer. sent17: either something is a mahogany or it is providential or both. sent18: the rubicelle is cryonic. sent19: something is cannibalistic and/or concerns Boxer. sent20: that the modeling is Tajikistani is correct.
sent16 -> int1: the aculeus does concern Boxer or reopens ignorance or both.; int1 -> int2: something does concern Boxer and/or it does reopen ignorance.;
the rubicelle is cannibalistic.
$hypothesis$ = the rubicelle is not cannibalistic. ; $context$ = sent1: the orchid does not concern Boxer. sent2: something is a kind of a stature and/or it is bursal. sent3: that the rubicelle is Coleridgian is not incorrect. sent4: if the aculeus does reopen ignorance it is a kind of cannibalistic thing that does not concern Boxer. sent5: the aculeus is a Floridian. sent6: the rubicelle does inherit. sent7: the rubicelle is not cannibalistic if there exists something such that it does reopen ignorance. sent8: either the oxbow is cannibalistic or it is a kind of a waddler or both. sent9: the rubicelle does not reopen ignorance if either something concerns Boxer or it is cannibalistic or both. sent10: The Boxer does concern aculeus. sent11: the rubicelle does not concern Boxer if there is something such that it is cannibalistic and/or it does reopen ignorance. sent12: either something is cannibalistic or it does reopen ignorance or both. sent13: something is a Elaeagnus and/or is prepositional. sent14: the aculeus does not hoard. sent15: that the rubicelle is cannibalistic is true if the aculeus is cannibalistic but it does not concern Boxer. sent16: the aculeus does concern Boxer. sent17: either something is a mahogany or it is providential or both. sent18: the rubicelle is cryonic. sent19: something is cannibalistic and/or concerns Boxer. sent20: that the modeling is Tajikistani is correct. ; $proof$ = 
sent16 -> int1: the aculeus does concern Boxer or reopens ignorance or both.; int1 -> int2: something does concern Boxer and/or it does reopen ignorance.; __UNKNOWN__