the frieze is a waltz and is not a pastry.
sent1: The Houyhnhnms loots bedwetter. sent2: the drug is not a kind of a stocked. sent3: the technophobe is not bridgeable. sent4: something does waltz and is not a pastry if it does not loot Houyhnhnms. sent5: if the technophobe is not a pastry the fact that the fact that the frieze is a waltz but it is not a kind of a pastry hold is false. sent6: if the bedwetter loots Houyhnhnms the fact that it does not sightsee and is bridgeable is incorrect. sent7: everything is not a deliveryman. sent8: the technophobe is not a pastry if that the bedwetter does not sightsee and is not unbridgeable is not correct. sent9: something is not a sandbar and it does not cast titrator if it is apogean. sent10: the bedwetter loots Houyhnhnms. sent11: that the bedwetter sightsees and is not unbridgeable is not correct. sent12: if the technophobe is not a pastry then that the bedwetter is both bridgeable and not a pastry is wrong. sent13: the frieze is apogean thing that is a vanilla if the drug is not a stocked. sent14: that something does not loot Houyhnhnms but it is unseaworthy does not hold if it is a hippopotamus. sent15: if that the bedwetter is not a kind of a tongued and is a Portuguese is not correct the frieze is a Portuguese. sent16: something is superjacent and a Erato if it is not a kind of a deliveryman. sent17: if something is a Erato the fact that it does not tongue and is a Portuguese does not hold.
sent6 & sent10 -> int1: that the bedwetter does not sightsee but it is bridgeable is not correct.; sent8 & int1 -> int2: the technophobe is not a pastry.; sent5 & int2 -> hypothesis;
the frieze is a waltz but it is not a pastry.
sent4 -> int3: the frieze is a waltz but it is not a kind of a pastry if it does not loot Houyhnhnms.; sent9 -> int4: the frieze is not a sandbar and does not cast titrator if it is apogean.; sent13 & sent2 -> int5: the frieze is apogean a vanilla.; int5 -> int6: the frieze is apogean.; int4 & int6 -> int7: the frieze is not a sandbar and does not cast titrator.; int7 -> int8: the frieze is not a kind of a sandbar.; sent17 -> int9: the fact that the bedwetter does not tongue but it is a Portuguese does not hold if it is a Erato.; sent16 -> int10: the technophobe is superjacent and it is a Erato if it is not a deliveryman.; sent7 -> int11: the technophobe is not a deliveryman.; int10 & int11 -> int12: the technophobe is superjacent and a Erato.; int12 -> int13: everything is superjacent and it is a Erato.; int13 -> int14: the bedwetter is superjacent and is a kind of a Erato.; int14 -> int15: the bedwetter is a Erato.; int9 & int15 -> int16: the fact that the bedwetter is not a tongued but Portuguese is wrong.; sent15 & int16 -> int17: the frieze is a Portuguese.; int8 & int17 -> int18: the frieze is a kind of a Portuguese that is not a sandbar.;
$hypothesis$ = the frieze is a waltz and is not a pastry. ; $context$ = sent1: The Houyhnhnms loots bedwetter. sent2: the drug is not a kind of a stocked. sent3: the technophobe is not bridgeable. sent4: something does waltz and is not a pastry if it does not loot Houyhnhnms. sent5: if the technophobe is not a pastry the fact that the fact that the frieze is a waltz but it is not a kind of a pastry hold is false. sent6: if the bedwetter loots Houyhnhnms the fact that it does not sightsee and is bridgeable is incorrect. sent7: everything is not a deliveryman. sent8: the technophobe is not a pastry if that the bedwetter does not sightsee and is not unbridgeable is not correct. sent9: something is not a sandbar and it does not cast titrator if it is apogean. sent10: the bedwetter loots Houyhnhnms. sent11: that the bedwetter sightsees and is not unbridgeable is not correct. sent12: if the technophobe is not a pastry then that the bedwetter is both bridgeable and not a pastry is wrong. sent13: the frieze is apogean thing that is a vanilla if the drug is not a stocked. sent14: that something does not loot Houyhnhnms but it is unseaworthy does not hold if it is a hippopotamus. sent15: if that the bedwetter is not a kind of a tongued and is a Portuguese is not correct the frieze is a Portuguese. sent16: something is superjacent and a Erato if it is not a kind of a deliveryman. sent17: if something is a Erato the fact that it does not tongue and is a Portuguese does not hold. ; $proof$ = 
sent6 & sent10 -> int1: that the bedwetter does not sightsee but it is bridgeable is not correct.; sent8 & int1 -> int2: the technophobe is not a pastry.; sent5 & int2 -> hypothesis; __DISPROVED__