the tailplane resents Freemasonry and it is a malfunction.
sent1: everything does surface. sent2: if that the crossbar is a kind of a surface is correct then the tailplane resents Freemasonry. sent3: if the chador is not surface the fact that the tailplane resents Freemasonry and it malfunctions is not true. sent4: if something does articulate coated then it does malfunction. sent5: the tailplane is functional thing that articulates coated.
sent1 -> int1: the crossbar is a surface.; int1 & sent2 -> int2: the tailplane does resent Freemasonry.; sent4 -> int3: if the tailplane does articulate coated it is a malfunction.; sent5 -> int4: the tailplane does articulate coated.; int3 & int4 -> int5: the tailplane is a malfunction.; int2 & int5 -> hypothesis;
the fact that the fact that the tailplane does resent Freemasonry and malfunctions does not hold is right.
$hypothesis$ = the tailplane resents Freemasonry and it is a malfunction. ; $context$ = sent1: everything does surface. sent2: if that the crossbar is a kind of a surface is correct then the tailplane resents Freemasonry. sent3: if the chador is not surface the fact that the tailplane resents Freemasonry and it malfunctions is not true. sent4: if something does articulate coated then it does malfunction. sent5: the tailplane is functional thing that articulates coated. ; $proof$ = 
sent1 -> int1: the crossbar is a surface.; int1 & sent2 -> int2: the tailplane does resent Freemasonry.; sent4 -> int3: if the tailplane does articulate coated it is a malfunction.; sent5 -> int4: the tailplane does articulate coated.; int3 & int4 -> int5: the tailplane is a malfunction.; int2 & int5 -> hypothesis; __PROVED__