the scenery is not febrile and it is not testaceous.
sent1: the fact that the piezoelectricity is not interior and it is not a kind of a marri does not hold. sent2: if something is testaceous then it is tangible. sent3: the scenery is not a kind of a commute if the piezoelectricity is a marri and not intangible. sent4: the scenery is not interior. sent5: something is not dictatorial if it does not tincture Bronte and is a kind of a counterfire. sent6: if the fact that something is a perishability hold it is not algoid and it is not a capture. sent7: the municipality is not a kind of a tam if something is a kind of a hailstorm but it is not a tripletail. sent8: the piezoelectricity is a marri and tinctures simazine if the drink is not algoid. sent9: if something is not a commute it is not febrile and is not a kind of a Colombian. sent10: if the fact that something is not febrile and it is not testaceous is wrong then the fact that it is tangible is not false. sent11: the piezoelectricity does commute if the scenery is tangible. sent12: the fact that something is tangible and it is interior is correct if it is not dictatorial. sent13: if the piezoelectricity is a marri then it is not a commute. sent14: something is a hailstorm that is not a tripletail. sent15: the drink is non-algoid if the tumefaction is non-non-algoid thing that is not a capture. sent16: that if that the piezoelectricity is not interior and it is not the marri is wrong then the piezoelectricity is not a commute is true.
sent10 -> int1: the scenery is tangible if the fact that it is not febrile and not testaceous does not hold.; void -> assump1: Let's assume that that the scenery is not febrile and it is not testaceous is not correct.; int1 & assump1 -> int2: the scenery is tangible.; int2 & sent11 -> int3: the piezoelectricity is a kind of a commute.; sent16 & sent1 -> int4: the piezoelectricity is not a commute.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the scenery is a kind of non-febrile thing that is not a Colombian.
sent9 -> int6: if the scenery is not a kind of a commute it is not febrile and it is not a Colombian.; sent6 -> int7: the tumefaction is non-algoid and it is not a capture if it is a kind of a perishability.; sent12 -> int8: the piezoelectricity is tangible thing that is interior if it is not dictatorial.; sent5 -> int9: the piezoelectricity is not dictatorial if it does not tincture Bronte and is a kind of a counterfire.; sent14 & sent7 -> int10: the municipality is not a tam.; int10 -> int11: something is not a tam.;
$hypothesis$ = the scenery is not febrile and it is not testaceous. ; $context$ = sent1: the fact that the piezoelectricity is not interior and it is not a kind of a marri does not hold. sent2: if something is testaceous then it is tangible. sent3: the scenery is not a kind of a commute if the piezoelectricity is a marri and not intangible. sent4: the scenery is not interior. sent5: something is not dictatorial if it does not tincture Bronte and is a kind of a counterfire. sent6: if the fact that something is a perishability hold it is not algoid and it is not a capture. sent7: the municipality is not a kind of a tam if something is a kind of a hailstorm but it is not a tripletail. sent8: the piezoelectricity is a marri and tinctures simazine if the drink is not algoid. sent9: if something is not a commute it is not febrile and is not a kind of a Colombian. sent10: if the fact that something is not febrile and it is not testaceous is wrong then the fact that it is tangible is not false. sent11: the piezoelectricity does commute if the scenery is tangible. sent12: the fact that something is tangible and it is interior is correct if it is not dictatorial. sent13: if the piezoelectricity is a marri then it is not a commute. sent14: something is a hailstorm that is not a tripletail. sent15: the drink is non-algoid if the tumefaction is non-non-algoid thing that is not a capture. sent16: that if that the piezoelectricity is not interior and it is not the marri is wrong then the piezoelectricity is not a commute is true. ; $proof$ = 
sent10 -> int1: the scenery is tangible if the fact that it is not febrile and not testaceous does not hold.; void -> assump1: Let's assume that that the scenery is not febrile and it is not testaceous is not correct.; int1 & assump1 -> int2: the scenery is tangible.; int2 & sent11 -> int3: the piezoelectricity is a kind of a commute.; sent16 & sent1 -> int4: the piezoelectricity is not a commute.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__