if the awl is a kind of a dimer then the graft flies.
sent1: that something does force and is not a kind of a food does not hold if it is a dimer. sent2: the fact that the graft is not a schmuck and not a graphospasm is incorrect if the awl is not a graphospasm. sent3: something is not a graphospasm if the fact that it is not a forced and is not a food is not true. sent4: if that something is not a schmuck and it is not a graphospasm is not true it does fly. sent5: that the awl is a forced but it is not a kind of a food does not hold. sent6: the graft is not a graphospasm if the fact that it is not a dimer and it is not a kind of a food is false. sent7: the fact that something is not a galbulus and it is not a cable is wrong if it does post Tetragrammaton. sent8: the fact that something does not crave and it is not a food is wrong if it posts Hypoderma. sent9: the graft is a fly if it is a schmuck. sent10: if something forces then it is not a kind of a graphospasm. sent11: if the fact that the awl is not a graphospasm and not a dimer is false then it is not a schmuck. sent12: the awl is a kind of a Orissa. sent13: the reissue is a food. sent14: the graft is not a fly if that it is not a kind of a forced and it is not a food is not true. sent15: that that the awl is not a schmuck and it is not a dimer hold is not true. sent16: that the graft is a kind of a schmuck and is not a graphospasm is not true. sent17: if the graft is a schmuck the fact that it is not a forced and it is not a food does not hold. sent18: the graft is not a kind of a schmuck if that it does not force and is not a fly is not correct. sent19: if something is a kind of a mob it is both not a fly and not a schmuck. sent20: if the awl is a forced it is not a graphospasm. sent21: that the fact that the graft is a schmuck but it is not a kind of a graphospasm is not incorrect is incorrect if the awl is not a graphospasm. sent22: something flies if it is a schmuck. sent23: if the awl is a dimer the fact that it is both a forced and not a food is not correct.
void -> assump1: Let's assume that the awl is a dimer.; sent3 -> int1: the awl is not a graphospasm if the fact that it does not force and is not a food is false.; sent4 -> int2: if that the graft is not a schmuck and it is not a graphospasm is wrong that it flies is true.;
the grogram is a kind of a dimer.
sent19 -> int3: if the grogram is a mob then it is not a fly and is not a kind of a schmuck.;
$hypothesis$ = if the awl is a kind of a dimer then the graft flies. ; $context$ = sent1: that something does force and is not a kind of a food does not hold if it is a dimer. sent2: the fact that the graft is not a schmuck and not a graphospasm is incorrect if the awl is not a graphospasm. sent3: something is not a graphospasm if the fact that it is not a forced and is not a food is not true. sent4: if that something is not a schmuck and it is not a graphospasm is not true it does fly. sent5: that the awl is a forced but it is not a kind of a food does not hold. sent6: the graft is not a graphospasm if the fact that it is not a dimer and it is not a kind of a food is false. sent7: the fact that something is not a galbulus and it is not a cable is wrong if it does post Tetragrammaton. sent8: the fact that something does not crave and it is not a food is wrong if it posts Hypoderma. sent9: the graft is a fly if it is a schmuck. sent10: if something forces then it is not a kind of a graphospasm. sent11: if the fact that the awl is not a graphospasm and not a dimer is false then it is not a schmuck. sent12: the awl is a kind of a Orissa. sent13: the reissue is a food. sent14: the graft is not a fly if that it is not a kind of a forced and it is not a food is not true. sent15: that that the awl is not a schmuck and it is not a dimer hold is not true. sent16: that the graft is a kind of a schmuck and is not a graphospasm is not true. sent17: if the graft is a schmuck the fact that it is not a forced and it is not a food does not hold. sent18: the graft is not a kind of a schmuck if that it does not force and is not a fly is not correct. sent19: if something is a kind of a mob it is both not a fly and not a schmuck. sent20: if the awl is a forced it is not a graphospasm. sent21: that the fact that the graft is a schmuck but it is not a kind of a graphospasm is not incorrect is incorrect if the awl is not a graphospasm. sent22: something flies if it is a schmuck. sent23: if the awl is a dimer the fact that it is both a forced and not a food is not correct. ; $proof$ = 
void -> assump1: Let's assume that the awl is a dimer.; sent3 -> int1: the awl is not a graphospasm if the fact that it does not force and is not a food is false.; sent4 -> int2: if that the graft is not a schmuck and it is not a graphospasm is wrong that it flies is true.; __UNKNOWN__