the mattress is not a recoil.
sent1: the mesquite does indurate. sent2: the fact that the alpenstock is both not insignificant and not unambitious is not correct if the mesquite is insignificant. sent3: something that does ogle pyrope is a recoil. sent4: the mattress diffracts if there is something such that the fact that it does not fry and it indurates does not hold. sent5: The pyrope does not ogle flavivirus. sent6: that the alpenstock does not glaze alpenstock but it does beset is not right. sent7: if the flavivirus is not a brand and is a FISA the mesquite is insignificant. sent8: something is a recoil if that it is significant thing that does not ogle pyrope is wrong. sent9: the flavivirus does not ogle pyrope. sent10: the alpenstock recoils. sent11: there exists something such that the fact that it does not fry and does indurate is not correct. sent12: the fact that something is not a kind of a leucine but it is a semaphore is not wrong. sent13: the mattress diffracts if there exists something such that it fries. sent14: the mesquite is not insignificant if it is a bid and it does brand. sent15: the flavivirus does not grasp theologian. sent16: the mattress is unambitious if the alpenstock diffracts. sent17: if something that is a kind of a bid diffracts it is not a recoil. sent18: if something that is mayoral is pedagogical it is not open-source. sent19: if the fact that the alpenstock is not insignificant and not unambitious is not correct then the mattress is a bid. sent20: something is not open-source if it is not a kind of a green. sent21: that there is something such that that it is both not unambitious and insignificant is incorrect is not incorrect. sent22: if something that is a kind of a hob is bigger it is not an individual. sent23: the mattress is insignificant if the mesquite is a kind of a bid. sent24: the fact that the mattress is not a recoil and is insignificant is not true. sent25: the theologian is not a kind of a recoil. sent26: something is not a brand but it is a kind of a FISA if the fact that it does ogle pyrope is not true.
sent26 -> int1: the flavivirus is both not a brand and a FISA if it does not ogle pyrope.; int1 & sent9 -> int2: the flavivirus is not a brand but it is a FISA.; int2 & sent7 -> int3: the mesquite is insignificant.; int3 & sent2 -> int4: the fact that the alpenstock is not insignificant and is not unambitious is false.; int4 & sent19 -> int5: the mattress is a bid.; sent11 & sent4 -> int6: the mattress diffracts.; int5 & int6 -> int7: the mattress bids and does diffract.; sent17 -> int8: if the mattress is a kind of a bid that does diffract then it is not a recoil.; int7 & int8 -> hypothesis;
the mattress is a recoil.
sent3 -> int9: the mattress does recoil if that it does ogle pyrope hold.;
$hypothesis$ = the mattress is not a recoil. ; $context$ = sent1: the mesquite does indurate. sent2: the fact that the alpenstock is both not insignificant and not unambitious is not correct if the mesquite is insignificant. sent3: something that does ogle pyrope is a recoil. sent4: the mattress diffracts if there is something such that the fact that it does not fry and it indurates does not hold. sent5: The pyrope does not ogle flavivirus. sent6: that the alpenstock does not glaze alpenstock but it does beset is not right. sent7: if the flavivirus is not a brand and is a FISA the mesquite is insignificant. sent8: something is a recoil if that it is significant thing that does not ogle pyrope is wrong. sent9: the flavivirus does not ogle pyrope. sent10: the alpenstock recoils. sent11: there exists something such that the fact that it does not fry and does indurate is not correct. sent12: the fact that something is not a kind of a leucine but it is a semaphore is not wrong. sent13: the mattress diffracts if there exists something such that it fries. sent14: the mesquite is not insignificant if it is a bid and it does brand. sent15: the flavivirus does not grasp theologian. sent16: the mattress is unambitious if the alpenstock diffracts. sent17: if something that is a kind of a bid diffracts it is not a recoil. sent18: if something that is mayoral is pedagogical it is not open-source. sent19: if the fact that the alpenstock is not insignificant and not unambitious is not correct then the mattress is a bid. sent20: something is not open-source if it is not a kind of a green. sent21: that there is something such that that it is both not unambitious and insignificant is incorrect is not incorrect. sent22: if something that is a kind of a hob is bigger it is not an individual. sent23: the mattress is insignificant if the mesquite is a kind of a bid. sent24: the fact that the mattress is not a recoil and is insignificant is not true. sent25: the theologian is not a kind of a recoil. sent26: something is not a brand but it is a kind of a FISA if the fact that it does ogle pyrope is not true. ; $proof$ = 
sent26 -> int1: the flavivirus is both not a brand and a FISA if it does not ogle pyrope.; int1 & sent9 -> int2: the flavivirus is not a brand but it is a FISA.; int2 & sent7 -> int3: the mesquite is insignificant.; int3 & sent2 -> int4: the fact that the alpenstock is not insignificant and is not unambitious is false.; int4 & sent19 -> int5: the mattress is a bid.; sent11 & sent4 -> int6: the mattress diffracts.; int5 & int6 -> int7: the mattress bids and does diffract.; sent17 -> int8: if the mattress is a kind of a bid that does diffract then it is not a recoil.; int7 & int8 -> hypothesis; __PROVED__