either the soffit is autotomic or it is a transudate or both.
sent1: that something is inexplicable thing that is not reverent is wrong if it is not an incisor. sent2: if the fact that the ferret is not explicable and it is not reverent does not hold then the soffit is a transudate. sent3: the fruitlet is a klondike. sent4: something is not explicable if it is not reverent. sent5: if there exists something such that that it is not a cloister and it does not lather pedophile is false then the ferret is not an incisor. sent6: the fact that something is autotomic and/or is a transudate is not true if the fact that it is not a klondike is not incorrect.
sent1 -> int1: the fact that the ferret is not explicable and is not reverent is wrong if it is not a kind of an incisor.;
that the soffit is autotomic and/or it is a kind of a transudate is false.
sent6 -> int2: that that the soffit is autotomic and/or it is a transudate does not hold hold if it is not a klondike.;
$hypothesis$ = either the soffit is autotomic or it is a transudate or both. ; $context$ = sent1: that something is inexplicable thing that is not reverent is wrong if it is not an incisor. sent2: if the fact that the ferret is not explicable and it is not reverent does not hold then the soffit is a transudate. sent3: the fruitlet is a klondike. sent4: something is not explicable if it is not reverent. sent5: if there exists something such that that it is not a cloister and it does not lather pedophile is false then the ferret is not an incisor. sent6: the fact that something is autotomic and/or is a transudate is not true if the fact that it is not a klondike is not incorrect. ; $proof$ = 
sent1 -> int1: the fact that the ferret is not explicable and is not reverent is wrong if it is not a kind of an incisor.; __UNKNOWN__