the fact that the entablature is a skidpan is right.
sent1: the entablature is femoral. sent2: that the entablature does not bald and replicates decameter is wrong if it sears. sent3: if the fact that something does not bald and replicates decameter is not correct it is a skidpan. sent4: something that does bald sears.
sent3 -> int1: that the entablature is a skidpan is not wrong if the fact that it does not bald and does replicate decameter is wrong.;
$hypothesis$ = the fact that the entablature is a skidpan is right. ; $context$ = sent1: the entablature is femoral. sent2: that the entablature does not bald and replicates decameter is wrong if it sears. sent3: if the fact that something does not bald and replicates decameter is not correct it is a skidpan. sent4: something that does bald sears. ; $proof$ = 
sent3 -> int1: that the entablature is a skidpan is not wrong if the fact that it does not bald and does replicate decameter is wrong.; __UNKNOWN__