the orthoepist is not a fuel.
sent1: the orthoepist is Christological. sent2: if the graduate is a quarrel and is not a fuel that the orthoepist is a kind of a fuel is not false. sent3: something is not a fuel if it is weighty. sent4: the orthoepist is a quarrel. sent5: something does not fuel if it is backless. sent6: if the fact that something does implode hold then that it is not backless but a quarrel is incorrect. sent7: the snowcap does fuel. sent8: if the orthoepist is a quarrel it is backless.
sent8 & sent4 -> int1: the fact that the orthoepist is backless is correct.; sent5 -> int2: if the orthoepist is backless it is not a kind of a fuel.; int1 & int2 -> hypothesis;
the orthoepist is a kind of a fuel.
$hypothesis$ = the orthoepist is not a fuel. ; $context$ = sent1: the orthoepist is Christological. sent2: if the graduate is a quarrel and is not a fuel that the orthoepist is a kind of a fuel is not false. sent3: something is not a fuel if it is weighty. sent4: the orthoepist is a quarrel. sent5: something does not fuel if it is backless. sent6: if the fact that something does implode hold then that it is not backless but a quarrel is incorrect. sent7: the snowcap does fuel. sent8: if the orthoepist is a quarrel it is backless. ; $proof$ = 
sent8 & sent4 -> int1: the fact that the orthoepist is backless is correct.; sent5 -> int2: if the orthoepist is backless it is not a kind of a fuel.; int1 & int2 -> hypothesis; __PROVED__