the saltwort does include Page.
sent1: everything blinds drollery. sent2: if the macaroon is not a jingle and it does not include Page then the saltwort does not include Page. sent3: everything is a fastnacht and it is a kind of a histoincompatibility. sent4: the saltwort is frictional. sent5: everything includes Page and is a jingle. sent6: the Polycarp is a veloute and it does include Tertullian. sent7: the fact that something is a kind of a Dnipropetrovsk and/or frizzles does not hold if it does not reticulate. sent8: the saltwort does blind bluing. sent9: everything is a jingle. sent10: if the laundry is not morbilliform then it is a kind of a masculine and/or it does harden Windhoek. sent11: an eighty is not a jingle and does not include Page. sent12: the saltwort does arbitrage. sent13: the Page jingles. sent14: everything hardens Alca. sent15: the fact that the saltwort does restart Djiboutian hold. sent16: the saltwort jingles.
sent5 -> int1: the saltwort does include Page and is a jingle.; int1 -> hypothesis;
the fact that the saltwort does not include Page is right.
sent11 -> int2: if the macaroon is an eighty it is not a jingle and it does not include Page.; sent7 -> int3: if the hyperon does not reticulate then that it either is a Dnipropetrovsk or frizzles or both does not hold.;
$hypothesis$ = the saltwort does include Page. ; $context$ = sent1: everything blinds drollery. sent2: if the macaroon is not a jingle and it does not include Page then the saltwort does not include Page. sent3: everything is a fastnacht and it is a kind of a histoincompatibility. sent4: the saltwort is frictional. sent5: everything includes Page and is a jingle. sent6: the Polycarp is a veloute and it does include Tertullian. sent7: the fact that something is a kind of a Dnipropetrovsk and/or frizzles does not hold if it does not reticulate. sent8: the saltwort does blind bluing. sent9: everything is a jingle. sent10: if the laundry is not morbilliform then it is a kind of a masculine and/or it does harden Windhoek. sent11: an eighty is not a jingle and does not include Page. sent12: the saltwort does arbitrage. sent13: the Page jingles. sent14: everything hardens Alca. sent15: the fact that the saltwort does restart Djiboutian hold. sent16: the saltwort jingles. ; $proof$ = 
sent5 -> int1: the saltwort does include Page and is a jingle.; int1 -> hypothesis; __PROVED__