the fact that the rail-splitter is a Crispin hold.
sent1: there is nothing such that it is a wordnet and calculable. sent2: there is something such that it is a minstrel. sent3: if something is incalculable then the smoothie is a kind of an east. sent4: there exists something such that it is a kind of a Irishman. sent5: if there is something such that it is non-east the rail-splitter is a Crispin. sent6: the rail-splitter is not a squawk. sent7: the fact that the rail-splitter is a kind of an east that is a Crispin is wrong. sent8: the rail-splitter does not dab washtub. sent9: if the fact that the rail-splitter is a kind of a Crispin and it is east is not true the washtub is not calculable. sent10: if that the smoothie is a Crispin and it is calculable is wrong the rail-splitter is not a wordnet.
sent1 -> int1: that the smoothie is a kind of a wordnet that is calculable does not hold.;
$hypothesis$ = the fact that the rail-splitter is a Crispin hold. ; $context$ = sent1: there is nothing such that it is a wordnet and calculable. sent2: there is something such that it is a minstrel. sent3: if something is incalculable then the smoothie is a kind of an east. sent4: there exists something such that it is a kind of a Irishman. sent5: if there is something such that it is non-east the rail-splitter is a Crispin. sent6: the rail-splitter is not a squawk. sent7: the fact that the rail-splitter is a kind of an east that is a Crispin is wrong. sent8: the rail-splitter does not dab washtub. sent9: if the fact that the rail-splitter is a kind of a Crispin and it is east is not true the washtub is not calculable. sent10: if that the smoothie is a Crispin and it is calculable is wrong the rail-splitter is not a wordnet. ; $proof$ = 
sent1 -> int1: that the smoothie is a kind of a wordnet that is calculable does not hold.; __UNKNOWN__