that the propyl is outdoors hold.
sent1: the fact that something does not broadside Orpington but it is a kind of a Lhasa is not right if it is not serologic. sent2: if a hormonal thing is outdoors the propyl is not profaned. sent3: that something broadsides corncrib but it does not rabbit is not correct if that it is not profaned hold. sent4: the slingshot is not profaned but it is a kind of a hob. sent5: if that something does not broadside Orpington and is a Lhasa does not hold then it broadsides virtuoso. sent6: if the fact that something does swab but it is not outdoors is not right then it is outdoors. sent7: if the slingshot is unpaid then the propyl is hormonal. sent8: if the sunlamp is outdoors the bushing is outdoors. sent9: the sunlamp expires forging and/or is outdoors if that there is something such that that it is outdoors is right is true. sent10: if the sunlamp expires forging that the bushing is outdoors is not wrong. sent11: the bushing is hormonal and it is a hob if there exists something such that it broadsides virtuoso. sent12: something is outdoors if that it is hormonal is not false. sent13: if something is profaned the fact that it is not unpaid and is outdoors is incorrect. sent14: something is unpaid if the fact that it does broadside corncrib and it is not a rabbit is not true. sent15: that the nettle is both a swabbing and not outdoors is not true. sent16: everything is not serologic. sent17: the bankrupt is unpaid if there exists something such that it is not profaned.
sent3 -> int1: that the slingshot does broadside corncrib and is not a rabbit is not true if it is non-profaned.; sent4 -> int2: the slingshot is not profaned.; int1 & int2 -> int3: the fact that the slingshot broadsides corncrib but it is not a rabbit is incorrect.; sent14 -> int4: if that the slingshot broadsides corncrib but it is not a rabbit is wrong then it is unpaid.; int3 & int4 -> int5: the slingshot is unpaid.; int5 & sent7 -> int6: the propyl is hormonal.; sent12 -> int7: the propyl is outdoors if it is hormonal.; int6 & int7 -> hypothesis;
the propyl is not outdoors.
sent13 -> int8: the fact that the propyl is a kind of non-unpaid thing that is outdoors does not hold if it is profaned.;
$hypothesis$ = that the propyl is outdoors hold. ; $context$ = sent1: the fact that something does not broadside Orpington but it is a kind of a Lhasa is not right if it is not serologic. sent2: if a hormonal thing is outdoors the propyl is not profaned. sent3: that something broadsides corncrib but it does not rabbit is not correct if that it is not profaned hold. sent4: the slingshot is not profaned but it is a kind of a hob. sent5: if that something does not broadside Orpington and is a Lhasa does not hold then it broadsides virtuoso. sent6: if the fact that something does swab but it is not outdoors is not right then it is outdoors. sent7: if the slingshot is unpaid then the propyl is hormonal. sent8: if the sunlamp is outdoors the bushing is outdoors. sent9: the sunlamp expires forging and/or is outdoors if that there is something such that that it is outdoors is right is true. sent10: if the sunlamp expires forging that the bushing is outdoors is not wrong. sent11: the bushing is hormonal and it is a hob if there exists something such that it broadsides virtuoso. sent12: something is outdoors if that it is hormonal is not false. sent13: if something is profaned the fact that it is not unpaid and is outdoors is incorrect. sent14: something is unpaid if the fact that it does broadside corncrib and it is not a rabbit is not true. sent15: that the nettle is both a swabbing and not outdoors is not true. sent16: everything is not serologic. sent17: the bankrupt is unpaid if there exists something such that it is not profaned. ; $proof$ = 
sent3 -> int1: that the slingshot does broadside corncrib and is not a rabbit is not true if it is non-profaned.; sent4 -> int2: the slingshot is not profaned.; int1 & int2 -> int3: the fact that the slingshot broadsides corncrib but it is not a rabbit is incorrect.; sent14 -> int4: if that the slingshot broadsides corncrib but it is not a rabbit is wrong then it is unpaid.; int3 & int4 -> int5: the slingshot is unpaid.; int5 & sent7 -> int6: the propyl is hormonal.; sent12 -> int7: the propyl is outdoors if it is hormonal.; int6 & int7 -> hypothesis; __PROVED__