something is both endodontic and consolable.
sent1: that there is something such that that it does listen and is a penciled hold is correct. sent2: something is consolable. sent3: the segment is consolable if there is something such that it is not a kind of a syncretism. sent4: the segment is a standing and it is an arum. sent5: the tucker is not an octopus if there is something such that it does not oversleep and decoys nonperson. sent6: the caber does not decoy nonperson. sent7: that the maximum is fleshy and exegetic is incorrect. sent8: the fact that something is a gnome and is a kind of an annoyance is not false. sent9: the caber does not oversleep and does not decoy nonperson. sent10: the foramen is not consolable and does not tide if the tucker is an octopus. sent11: there are endodontic things. sent12: the fact that the segment is endodontic is not wrong if the fact that the maximum is a kind of non-fleshy thing that is exegetic does not hold. sent13: the dasyurid is not a syncretism. sent14: if the tucker is not a kind of an octopus the fact that the maximum is both fleshy and exegetic is false. sent15: the segment is endodontic if the maximum is fleshy. sent16: the tucker is not an octopus if there is something such that it does not oversleep and it does not decoy nonperson. sent17: there exists something such that it is a syncretism. sent18: there is something such that it does not decoy nonperson. sent19: if the fact that the tucker is not an octopus hold then the fact that the maximum is not fleshy but it is exegetic does not hold. sent20: something oversleeps and does not decoy nonperson.
sent9 -> int1: something does not oversleep and does not decoy nonperson.; int1 & sent16 -> int2: the tucker is not a kind of an octopus.; int2 & sent19 -> int3: the fact that the maximum is not fleshy and is exegetic is not correct.; int3 & sent12 -> int4: the segment is endodontic.; sent13 -> int5: something is not a syncretism.; int5 & sent3 -> int6: that the segment is consolable hold.; int4 & int6 -> int7: the segment is endodontic and it is not inconsolable.; int7 -> hypothesis;
the foramen is not consolable and not a tide.
$hypothesis$ = something is both endodontic and consolable. ; $context$ = sent1: that there is something such that that it does listen and is a penciled hold is correct. sent2: something is consolable. sent3: the segment is consolable if there is something such that it is not a kind of a syncretism. sent4: the segment is a standing and it is an arum. sent5: the tucker is not an octopus if there is something such that it does not oversleep and decoys nonperson. sent6: the caber does not decoy nonperson. sent7: that the maximum is fleshy and exegetic is incorrect. sent8: the fact that something is a gnome and is a kind of an annoyance is not false. sent9: the caber does not oversleep and does not decoy nonperson. sent10: the foramen is not consolable and does not tide if the tucker is an octopus. sent11: there are endodontic things. sent12: the fact that the segment is endodontic is not wrong if the fact that the maximum is a kind of non-fleshy thing that is exegetic does not hold. sent13: the dasyurid is not a syncretism. sent14: if the tucker is not a kind of an octopus the fact that the maximum is both fleshy and exegetic is false. sent15: the segment is endodontic if the maximum is fleshy. sent16: the tucker is not an octopus if there is something such that it does not oversleep and it does not decoy nonperson. sent17: there exists something such that it is a syncretism. sent18: there is something such that it does not decoy nonperson. sent19: if the fact that the tucker is not an octopus hold then the fact that the maximum is not fleshy but it is exegetic does not hold. sent20: something oversleeps and does not decoy nonperson. ; $proof$ = 
sent9 -> int1: something does not oversleep and does not decoy nonperson.; int1 & sent16 -> int2: the tucker is not a kind of an octopus.; int2 & sent19 -> int3: the fact that the maximum is not fleshy and is exegetic is not correct.; int3 & sent12 -> int4: the segment is endodontic.; sent13 -> int5: something is not a syncretism.; int5 & sent3 -> int6: that the segment is consolable hold.; int4 & int6 -> int7: the segment is endodontic and it is not inconsolable.; int7 -> hypothesis; __PROVED__