the curbside is not a caisson.
sent1: the horse-trail assumes fact. sent2: if something is not a pistoleer and/or it is not peritoneal then the fact that the illustrator does not festoon is true. sent3: the curbside is unpeaceful and/or is not a pistoleer. sent4: the horse-trail is not a pistoleer if that the curbside does festoon and/or it is not a pistoleer is wrong. sent5: there is something such that it congratulates Provence or does not assume Otus or both. sent6: something is postbiblical thing that is not unpeaceful if it is not a mussel. sent7: if the fact that the curbside is a kind of a caisson is true then it is not a pistoleer or not peritoneal or both. sent8: the illustrator is a festoon if that the horse-trail is a festoon is not incorrect. sent9: the curbside either is a pistoleer or is not peritoneal or both. sent10: if the illustrator is a kind of postbiblical thing that is not unpeaceful then the curbside is unpeaceful. sent11: the fact that the illustrator is peritoneal is not wrong. sent12: the fact that something is a gringo and/or it is not metamorphic hold if it does not swill. sent13: the illustrator does festoon if the horse-trail is unpeaceful. sent14: the paragonite is non-forte and/or it is not lunar. sent15: that the horse-trail is non-postbiblical is not wrong if the fact that the calamus congratulates horse-trail or it is non-postbiblical or both is false. sent16: either something is news or it does not spend staging or both. sent17: if the horse-trail is not postbiblical either it is peritoneal or it congratulates horse-trail or both. sent18: if that the horse-trail is a caisson or it is not unpeaceful or both is incorrect the curbside is not unpeaceful. sent19: the fact that the calamus congratulates horse-trail and/or is not postbiblical does not hold. sent20: the calamus is not unpeaceful. sent21: if something is not postbiblical then it is a festoon or unpeaceful or both.
void -> assump1: Let's assume that the curbside is a caisson.; sent7 & assump1 -> int1: the curbside either is not a kind of a pistoleer or is not peritoneal or both.; int1 -> int2: something is not a pistoleer and/or it is not peritoneal.; int2 & sent2 -> int3: the illustrator is not a festoon.; sent21 -> int4: if the horse-trail is not postbiblical it either is a festoon or is unpeaceful or both.; sent15 & sent19 -> int5: the horse-trail is not postbiblical.; int4 & int5 -> int6: the horse-trail does festoon and/or it is unpeaceful.; int6 & sent8 & sent13 -> int7: the illustrator does festoon.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the curbside is a caisson.
sent6 -> int9: the fact that the illustrator is both postbiblical and not unpeaceful is correct if it is not a mussel.;
$hypothesis$ = the curbside is not a caisson. ; $context$ = sent1: the horse-trail assumes fact. sent2: if something is not a pistoleer and/or it is not peritoneal then the fact that the illustrator does not festoon is true. sent3: the curbside is unpeaceful and/or is not a pistoleer. sent4: the horse-trail is not a pistoleer if that the curbside does festoon and/or it is not a pistoleer is wrong. sent5: there is something such that it congratulates Provence or does not assume Otus or both. sent6: something is postbiblical thing that is not unpeaceful if it is not a mussel. sent7: if the fact that the curbside is a kind of a caisson is true then it is not a pistoleer or not peritoneal or both. sent8: the illustrator is a festoon if that the horse-trail is a festoon is not incorrect. sent9: the curbside either is a pistoleer or is not peritoneal or both. sent10: if the illustrator is a kind of postbiblical thing that is not unpeaceful then the curbside is unpeaceful. sent11: the fact that the illustrator is peritoneal is not wrong. sent12: the fact that something is a gringo and/or it is not metamorphic hold if it does not swill. sent13: the illustrator does festoon if the horse-trail is unpeaceful. sent14: the paragonite is non-forte and/or it is not lunar. sent15: that the horse-trail is non-postbiblical is not wrong if the fact that the calamus congratulates horse-trail or it is non-postbiblical or both is false. sent16: either something is news or it does not spend staging or both. sent17: if the horse-trail is not postbiblical either it is peritoneal or it congratulates horse-trail or both. sent18: if that the horse-trail is a caisson or it is not unpeaceful or both is incorrect the curbside is not unpeaceful. sent19: the fact that the calamus congratulates horse-trail and/or is not postbiblical does not hold. sent20: the calamus is not unpeaceful. sent21: if something is not postbiblical then it is a festoon or unpeaceful or both. ; $proof$ = 
void -> assump1: Let's assume that the curbside is a caisson.; sent7 & assump1 -> int1: the curbside either is not a kind of a pistoleer or is not peritoneal or both.; int1 -> int2: something is not a pistoleer and/or it is not peritoneal.; int2 & sent2 -> int3: the illustrator is not a festoon.; sent21 -> int4: if the horse-trail is not postbiblical it either is a festoon or is unpeaceful or both.; sent15 & sent19 -> int5: the horse-trail is not postbiblical.; int4 & int5 -> int6: the horse-trail does festoon and/or it is unpeaceful.; int6 & sent8 & sent13 -> int7: the illustrator does festoon.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__