the fact that the waxycap is not a novelist hold.
sent1: that the Congress is deliverable is not false. sent2: if something that is a Khmer is autogenetic then it is not a agamete. sent3: if something is not a Khmer it does not crane Babar and it is arundinaceous. sent4: the acrogen is not untraceable. sent5: the waxycap is not a agamete. sent6: if the acrogen does not recharge then the Congress finalizes Peary. sent7: if something is not a agamete and it is not a kind of a destination then it is not a novelist. sent8: the waxycap is not a destination if the Congress is a deliverable and it finalizes Peary. sent9: the freestone is not a Khmer if the acrogen is a kind of a Khmer. sent10: if the acrogen is a kind of a novelist then the waxycap is a kind of a novelist. sent11: if the acrogen is untraceable a Khmer it does not recharge. sent12: if the Congress is not untraceable or it does not finalize Peary or both then the acrogen is not untraceable. sent13: if the fact that that the acrogen is autogenetic but it does not crane Babar does not hold hold then it justifies. sent14: if a non-untraceable thing is a Khmer then it does not recharge. sent15: if the Congress is not untraceable then the acrogen is a Khmer and does justify. sent16: there exists something such that it is a deliverable. sent17: something is a kind of traceable a Khmer if it does justify. sent18: the Congress is either a destination or deliverable or both if there is something such that it is deliverable. sent19: the fact that the acrogen is a kind of autogenetic thing that does not crane Babar does not hold. sent20: if the Congress does recharge it is not untraceable or does not finalize Peary or both. sent21: something that does justify is not untraceable.
sent13 & sent19 -> int1: that the acrogen justifies hold.; sent17 -> int2: the acrogen is not untraceable but it is a Khmer if it justifies.; int1 & int2 -> int3: the acrogen is not untraceable and is a Khmer.; sent14 -> int4: if the acrogen is not untraceable but it is a Khmer then it does not recharge.; int3 & int4 -> int5: the acrogen does not recharge.; int5 & sent6 -> int6: the Congress finalizes Peary.; int6 & sent1 -> int7: that the Congress is a kind of a deliverable and finalizes Peary is right.; int7 & sent8 -> int8: the waxycap is not a kind of a destination.; int8 & sent5 -> int9: the waxycap is not a agamete and is not a destination.; sent7 -> int10: if the waxycap is not a agamete and it is not a destination it is not a novelist.; int9 & int10 -> hypothesis;
the waxycap is a novelist.
$hypothesis$ = the fact that the waxycap is not a novelist hold. ; $context$ = sent1: that the Congress is deliverable is not false. sent2: if something that is a Khmer is autogenetic then it is not a agamete. sent3: if something is not a Khmer it does not crane Babar and it is arundinaceous. sent4: the acrogen is not untraceable. sent5: the waxycap is not a agamete. sent6: if the acrogen does not recharge then the Congress finalizes Peary. sent7: if something is not a agamete and it is not a kind of a destination then it is not a novelist. sent8: the waxycap is not a destination if the Congress is a deliverable and it finalizes Peary. sent9: the freestone is not a Khmer if the acrogen is a kind of a Khmer. sent10: if the acrogen is a kind of a novelist then the waxycap is a kind of a novelist. sent11: if the acrogen is untraceable a Khmer it does not recharge. sent12: if the Congress is not untraceable or it does not finalize Peary or both then the acrogen is not untraceable. sent13: if the fact that that the acrogen is autogenetic but it does not crane Babar does not hold hold then it justifies. sent14: if a non-untraceable thing is a Khmer then it does not recharge. sent15: if the Congress is not untraceable then the acrogen is a Khmer and does justify. sent16: there exists something such that it is a deliverable. sent17: something is a kind of traceable a Khmer if it does justify. sent18: the Congress is either a destination or deliverable or both if there is something such that it is deliverable. sent19: the fact that the acrogen is a kind of autogenetic thing that does not crane Babar does not hold. sent20: if the Congress does recharge it is not untraceable or does not finalize Peary or both. sent21: something that does justify is not untraceable. ; $proof$ = 
sent13 & sent19 -> int1: that the acrogen justifies hold.; sent17 -> int2: the acrogen is not untraceable but it is a Khmer if it justifies.; int1 & int2 -> int3: the acrogen is not untraceable and is a Khmer.; sent14 -> int4: if the acrogen is not untraceable but it is a Khmer then it does not recharge.; int3 & int4 -> int5: the acrogen does not recharge.; int5 & sent6 -> int6: the Congress finalizes Peary.; int6 & sent1 -> int7: that the Congress is a kind of a deliverable and finalizes Peary is right.; int7 & sent8 -> int8: the waxycap is not a kind of a destination.; int8 & sent5 -> int9: the waxycap is not a agamete and is not a destination.; sent7 -> int10: if the waxycap is not a agamete and it is not a destination it is not a novelist.; int9 & int10 -> hypothesis; __PROVED__