the cornea is a Confucian.
sent1: if the cornea is not a kind of a Confucian it is caloric. sent2: if something is not a Confucian it is both not non-caloric and not a handedness. sent3: if the bookshelf is calyceal the sketcher is not a Jihadist. sent4: if the sketcher is not a Jihadist the Flint is both Confucian and a handedness. sent5: if something is not a Confucian then it is caloric. sent6: the fact that if the fact that something does not forecast fearlessness and is Sotho is not correct it does not crust originalism is correct. sent7: the cornea is a Jihadist.
sent2 -> int1: the cornea is caloric and is not a kind of a handedness if it is not a kind of a Confucian.; void -> assump1: Let's assume that the cornea is not Confucian.; int1 & assump1 -> int2: the cornea is caloric and not a handedness.;
the Flint is a handedness.
$hypothesis$ = the cornea is a Confucian. ; $context$ = sent1: if the cornea is not a kind of a Confucian it is caloric. sent2: if something is not a Confucian it is both not non-caloric and not a handedness. sent3: if the bookshelf is calyceal the sketcher is not a Jihadist. sent4: if the sketcher is not a Jihadist the Flint is both Confucian and a handedness. sent5: if something is not a Confucian then it is caloric. sent6: the fact that if the fact that something does not forecast fearlessness and is Sotho is not correct it does not crust originalism is correct. sent7: the cornea is a Jihadist. ; $proof$ = 
sent2 -> int1: the cornea is caloric and is not a kind of a handedness if it is not a kind of a Confucian.; void -> assump1: Let's assume that the cornea is not Confucian.; int1 & assump1 -> int2: the cornea is caloric and not a handedness.; __UNKNOWN__