the joggle comforts guitar and it is a Carlyle.
sent1: if the fact that there is something such that it does not pant-hoot and it does not reinforce foamflower hold then the lumberman is a helpfulness. sent2: if something is Pauline the fact that it comforts guitar is not false. sent3: if the plectranthus does not develop then it does not pant-hoot and does not reinforce foamflower. sent4: there exists something such that it does comfort sinner. sent5: that the plectranthus does not develop is right. sent6: the joggle is a kind of a Carlyle if there is something such that the fact that it either is not a contusion or is autotomic or both is not right. sent7: the fact that the joggle is Pauline is correct if the lumberman is not a Laplace. sent8: the lumberman is not a Laplace if it either is a helpfulness or does sweeten nylons or both. sent9: there exists something such that it is not a regimented. sent10: there is something such that that either it is not a contusion or it is autotomic or both is wrong.
sent3 & sent5 -> int1: the plectranthus does not pant-hoot and does not reinforce foamflower.; int1 -> int2: there is something such that it does not pant-hoot and does not reinforce foamflower.; int2 & sent1 -> int3: the lumberman is a helpfulness.; int3 -> int4: the lumberman is a helpfulness and/or it sweetens nylons.; int4 & sent8 -> int5: the lumberman is not a kind of a Laplace.; int5 & sent7 -> int6: the joggle is Pauline.; sent2 -> int7: if the joggle is Pauline then it comforts guitar.; int6 & int7 -> int8: that the joggle does comfort guitar hold.; sent10 & sent6 -> int9: the joggle is a kind of a Carlyle.; int8 & int9 -> hypothesis;
$hypothesis$ = the joggle comforts guitar and it is a Carlyle. ; $context$ = sent1: if the fact that there is something such that it does not pant-hoot and it does not reinforce foamflower hold then the lumberman is a helpfulness. sent2: if something is Pauline the fact that it comforts guitar is not false. sent3: if the plectranthus does not develop then it does not pant-hoot and does not reinforce foamflower. sent4: there exists something such that it does comfort sinner. sent5: that the plectranthus does not develop is right. sent6: the joggle is a kind of a Carlyle if there is something such that the fact that it either is not a contusion or is autotomic or both is not right. sent7: the fact that the joggle is Pauline is correct if the lumberman is not a Laplace. sent8: the lumberman is not a Laplace if it either is a helpfulness or does sweeten nylons or both. sent9: there exists something such that it is not a regimented. sent10: there is something such that that either it is not a contusion or it is autotomic or both is wrong. ; $proof$ = 
sent3 & sent5 -> int1: the plectranthus does not pant-hoot and does not reinforce foamflower.; int1 -> int2: there is something such that it does not pant-hoot and does not reinforce foamflower.; int2 & sent1 -> int3: the lumberman is a helpfulness.; int3 -> int4: the lumberman is a helpfulness and/or it sweetens nylons.; int4 & sent8 -> int5: the lumberman is not a kind of a Laplace.; int5 & sent7 -> int6: the joggle is Pauline.; sent2 -> int7: if the joggle is Pauline then it comforts guitar.; int6 & int7 -> int8: that the joggle does comfort guitar hold.; sent10 & sent6 -> int9: the joggle is a kind of a Carlyle.; int8 & int9 -> hypothesis; __PROVED__