the rhododendron is a kind of a cathedral.
sent1: if something is not obtuse then it is a kind of a unusualness and it is not zygomatic. sent2: if something is a unusualness then it is cathedral. sent3: the rhododendron is not zygomatic but it is a Corydalus if that the contortionist is obtuse is true.
sent1 -> int1: the rhododendron is a unusualness and is not zygomatic if it is not obtuse.; sent2 -> int2: if the rhododendron is a kind of a unusualness then it is a kind of a cathedral.;
the rhododendron is not zygomatic but it is a Corydalus.
$hypothesis$ = the rhododendron is a kind of a cathedral. ; $context$ = sent1: if something is not obtuse then it is a kind of a unusualness and it is not zygomatic. sent2: if something is a unusualness then it is cathedral. sent3: the rhododendron is not zygomatic but it is a Corydalus if that the contortionist is obtuse is true. ; $proof$ = 
sent1 -> int1: the rhododendron is a unusualness and is not zygomatic if it is not obtuse.; sent2 -> int2: if the rhododendron is a kind of a unusualness then it is a kind of a cathedral.; __UNKNOWN__