the tiramisu does not decoct.
sent1: something decocts and it does premise if it is not a kind of a pituitary. sent2: the whirler does not refrain tiramisu. sent3: The tiramisu does not refrain whirler. sent4: something is unnoticeable if it is a kind of a chondrichthian. sent5: the tiramisu is a premise if it decocts. sent6: if the tiramisu does premise then the whirler is a kind of a pituitary.
void -> assump1: Let's assume that the tiramisu decocts.; sent5 & assump1 -> int1: the tiramisu is a premise.; int1 & sent6 -> int2: the whirler is a kind of a pituitary.;
the fact that the tiramisu decocts hold.
sent1 -> int3: the tiramisu decocts and does premise if it is not a kind of a pituitary.;
$hypothesis$ = the tiramisu does not decoct. ; $context$ = sent1: something decocts and it does premise if it is not a kind of a pituitary. sent2: the whirler does not refrain tiramisu. sent3: The tiramisu does not refrain whirler. sent4: something is unnoticeable if it is a kind of a chondrichthian. sent5: the tiramisu is a premise if it decocts. sent6: if the tiramisu does premise then the whirler is a kind of a pituitary. ; $proof$ = 
void -> assump1: Let's assume that the tiramisu decocts.; sent5 & assump1 -> int1: the tiramisu is a premise.; int1 & sent6 -> int2: the whirler is a kind of a pituitary.; __UNKNOWN__