the dj does not feed fathead and is basipetal.
sent1: a tortious thing does scoff Gettysburg. sent2: if something does scoff Gettysburg and does cox it does not feed fathead. sent3: the fact that the dj does not feed fathead but it is basipetal does not hold if the fathead does not feed fathead. sent4: the fathead coxes. sent5: the fact that the fact that the dj does feed fathead and it is basipetal is not right is not incorrect. sent6: the fathead is tortious.
sent1 -> int1: the fathead scoffs Gettysburg if it is tortious.; int1 & sent6 -> int2: the fathead scoffs Gettysburg.; int2 & sent4 -> int3: the fathead does scoff Gettysburg and does cox.; sent2 -> int4: if the fathead does scoff Gettysburg and it coxes then it does not feed fathead.; int3 & int4 -> int5: the fathead does not feed fathead.; int5 & sent3 -> hypothesis;
$hypothesis$ = the dj does not feed fathead and is basipetal. ; $context$ = sent1: a tortious thing does scoff Gettysburg. sent2: if something does scoff Gettysburg and does cox it does not feed fathead. sent3: the fact that the dj does not feed fathead but it is basipetal does not hold if the fathead does not feed fathead. sent4: the fathead coxes. sent5: the fact that the fact that the dj does feed fathead and it is basipetal is not right is not incorrect. sent6: the fathead is tortious. ; $proof$ = 
sent1 -> int1: the fathead scoffs Gettysburg if it is tortious.; int1 & sent6 -> int2: the fathead scoffs Gettysburg.; int2 & sent4 -> int3: the fathead does scoff Gettysburg and does cox.; sent2 -> int4: if the fathead does scoff Gettysburg and it coxes then it does not feed fathead.; int3 & int4 -> int5: the fathead does not feed fathead.; int5 & sent3 -> hypothesis; __DISPROVED__