the transfer does not occur.
sent1: that the ravening but not the concreteness occurs prevents the Hittiteness. sent2: the vitiliginousness happens. sent3: the frightening ability occurs. sent4: the interlocking does not occur if the vitiliginousness happens and the frightening ability occurs. sent5: if the concreteness does not occur that the interlocking but not the raven happens is not right. sent6: that both the ravening and the non-concreteness happens is caused by that the interlock does not occur.
sent2 & sent3 -> int1: the fact that the vitiliginousness occurs and the frightening ability occurs is right.; sent4 & int1 -> int2: the interlocking does not occur.; sent6 & int2 -> int3: the ravening and the non-concreteness occurs.; sent1 & int3 -> int4: the Hittite does not occur.;
the American does not occur.
$hypothesis$ = the transfer does not occur. ; $context$ = sent1: that the ravening but not the concreteness occurs prevents the Hittiteness. sent2: the vitiliginousness happens. sent3: the frightening ability occurs. sent4: the interlocking does not occur if the vitiliginousness happens and the frightening ability occurs. sent5: if the concreteness does not occur that the interlocking but not the raven happens is not right. sent6: that both the ravening and the non-concreteness happens is caused by that the interlock does not occur. ; $proof$ = 
sent2 & sent3 -> int1: the fact that the vitiliginousness occurs and the frightening ability occurs is right.; sent4 & int1 -> int2: the interlocking does not occur.; sent6 & int2 -> int3: the ravening and the non-concreteness occurs.; sent1 & int3 -> int4: the Hittite does not occur.; __UNKNOWN__