the stroking clary does not occur.
sent1: that the deformationalness does not occur is right if the stroking clary happens. sent2: the interdisciplinariness happens. sent3: if the fibrillation does not occur then both the sententialness and the aggressiveness happens. sent4: that the stroking Vientiane occurs but the deformationalness does not occur yields the non-aggressiveness. sent5: if the fact that both the patterning jacklight and the pentangularness happens is correct then the Lebanese does not occur. sent6: the fact that the stroking Vientiane and the interdisciplinariness happens is right. sent7: the stroking corvee occurs. sent8: if that the Lebaneseness does not occur hold that the interdisciplinariness and the fibrillation happens hold. sent9: if the interdisciplinariness happens then the fact that the sententialness and the non-aggressiveness occurs is wrong.
void -> assump1: Let's assume that the stroking clary happens.; sent1 & assump1 -> int1: the deformationalness does not occur.; sent6 -> int2: the stroking Vientiane happens.; int1 & int2 -> int3: the stroking Vientiane and the non-deformationalness happens.; int3 & sent4 -> int4: the aggressiveness does not occur.;
the stroking clary happens.
$hypothesis$ = the stroking clary does not occur. ; $context$ = sent1: that the deformationalness does not occur is right if the stroking clary happens. sent2: the interdisciplinariness happens. sent3: if the fibrillation does not occur then both the sententialness and the aggressiveness happens. sent4: that the stroking Vientiane occurs but the deformationalness does not occur yields the non-aggressiveness. sent5: if the fact that both the patterning jacklight and the pentangularness happens is correct then the Lebanese does not occur. sent6: the fact that the stroking Vientiane and the interdisciplinariness happens is right. sent7: the stroking corvee occurs. sent8: if that the Lebaneseness does not occur hold that the interdisciplinariness and the fibrillation happens hold. sent9: if the interdisciplinariness happens then the fact that the sententialness and the non-aggressiveness occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the stroking clary happens.; sent1 & assump1 -> int1: the deformationalness does not occur.; sent6 -> int2: the stroking Vientiane happens.; int1 & int2 -> int3: the stroking Vientiane and the non-deformationalness happens.; int3 & sent4 -> int4: the aggressiveness does not occur.; __UNKNOWN__