the fact that the venule is not a kind of a Hadith and it is not clonic is not true.
sent1: if something is a kind of a Ceylonite it is not a kind of a Hadith and is not clonic. sent2: the cayuse is not thoughtful if the liturgist is thoughtful. sent3: that something is not a Hadith and is not clonic does not hold if it is not a Ceylonite. sent4: if the liturgist is not capable but it is thoughtful then the venule is not a Ceylonite. sent5: that something is not a Ceylonite is correct if it does gnarl and is not clonic.
sent3 -> int1: the fact that the venule is not a Hadith and not clonic does not hold if it is not a kind of a Ceylonite.;
the cayuse is not thoughtful.
sent5 -> int2: if the liturgist does gnarl and is not clonic then that it is not a Ceylonite hold.;
$hypothesis$ = the fact that the venule is not a kind of a Hadith and it is not clonic is not true. ; $context$ = sent1: if something is a kind of a Ceylonite it is not a kind of a Hadith and is not clonic. sent2: the cayuse is not thoughtful if the liturgist is thoughtful. sent3: that something is not a Hadith and is not clonic does not hold if it is not a Ceylonite. sent4: if the liturgist is not capable but it is thoughtful then the venule is not a Ceylonite. sent5: that something is not a Ceylonite is correct if it does gnarl and is not clonic. ; $proof$ = 
sent3 -> int1: the fact that the venule is not a Hadith and not clonic does not hold if it is not a kind of a Ceylonite.; __UNKNOWN__