the bed-ground is a alliterator or it does romp or both.
sent1: either the seine is Altaic or it is a kind of an allocation or both. sent2: the Protropin does rafter silviculture and does romp. sent3: there is something such that it is a alliterator. sent4: the Protropin is an allocation and/or it does not rafter bed-ground. sent5: the Male does squeegee Protropin if the Protropin is a kind of an allocation or it does not rafter bed-ground or both. sent6: that the bed-ground is not a kind of a Norman is true if the Protropin does squeegee Protropin and is a self-pollination. sent7: the Male is a Norman. sent8: if the bed-ground is a alliterator that the Male does not squeegee Protropin but it does romp does not hold. sent9: the mixture does squeegee Protropin. sent10: the bed-ground does romp if something that does squeegee Protropin is a Norman. sent11: the bed-ground does not finger if that the jean is not a putterer is true. sent12: the Protropin rafters bed-ground and/or is not a alliterator. sent13: there is something such that it is counterfeit. sent14: something is Norman and a alliterator. sent15: the Male is a kind of a Norman and/or is not a alliterator. sent16: that if something is not a Norman that it is a alliterator and/or does romp is not correct is not incorrect. sent17: the jean is not a putterer or does not finger or both. sent18: the Male rafters bed-ground or is not a Norman or both. sent19: if a Norman is a alliterator the bed-ground does squeegee Protropin. sent20: something is a alliterator and it is a self-pollination if the fact that it does not finger is true. sent21: if the Protropin is Norman then the generator is an allocation. sent22: something is a kind of a alliterator that is an allocation. sent23: the Male does squeegee Protropin if the Protropin is a kind of an allocation.
sent5 & sent4 -> int1: the Male does squeegee Protropin.; int1 & sent7 -> int2: the Male squeegees Protropin and is Norman.; int2 -> int3: there is something such that it squeegees Protropin and is a Norman.; int3 & sent10 -> int4: the bed-ground does romp.; int4 -> hypothesis;
the fact that either the bed-ground is a alliterator or it romps or both is not true.
sent16 -> int5: if the bed-ground is not Norman the fact that it is a alliterator and/or it does romp does not hold.;
$hypothesis$ = the bed-ground is a alliterator or it does romp or both. ; $context$ = sent1: either the seine is Altaic or it is a kind of an allocation or both. sent2: the Protropin does rafter silviculture and does romp. sent3: there is something such that it is a alliterator. sent4: the Protropin is an allocation and/or it does not rafter bed-ground. sent5: the Male does squeegee Protropin if the Protropin is a kind of an allocation or it does not rafter bed-ground or both. sent6: that the bed-ground is not a kind of a Norman is true if the Protropin does squeegee Protropin and is a self-pollination. sent7: the Male is a Norman. sent8: if the bed-ground is a alliterator that the Male does not squeegee Protropin but it does romp does not hold. sent9: the mixture does squeegee Protropin. sent10: the bed-ground does romp if something that does squeegee Protropin is a Norman. sent11: the bed-ground does not finger if that the jean is not a putterer is true. sent12: the Protropin rafters bed-ground and/or is not a alliterator. sent13: there is something such that it is counterfeit. sent14: something is Norman and a alliterator. sent15: the Male is a kind of a Norman and/or is not a alliterator. sent16: that if something is not a Norman that it is a alliterator and/or does romp is not correct is not incorrect. sent17: the jean is not a putterer or does not finger or both. sent18: the Male rafters bed-ground or is not a Norman or both. sent19: if a Norman is a alliterator the bed-ground does squeegee Protropin. sent20: something is a alliterator and it is a self-pollination if the fact that it does not finger is true. sent21: if the Protropin is Norman then the generator is an allocation. sent22: something is a kind of a alliterator that is an allocation. sent23: the Male does squeegee Protropin if the Protropin is a kind of an allocation. ; $proof$ = 
sent5 & sent4 -> int1: the Male does squeegee Protropin.; int1 & sent7 -> int2: the Male squeegees Protropin and is Norman.; int2 -> int3: there is something such that it squeegees Protropin and is a Norman.; int3 & sent10 -> int4: the bed-ground does romp.; int4 -> hypothesis; __PROVED__