the gildhall is a RFD and is not botryoid.
sent1: if that the XXX is not a kind of a dainty but it is immunological is not true then the bread-bin is not immunological. sent2: that the ready-made is not a kind of a dreamer or it is not a prostitution or both does not hold. sent3: the gildhall does not deduce martingale and is not lively if the hawthorn is not lively. sent4: if that the ready-made is not a dreamer is not incorrect then it is not lively. sent5: if the hawthorn is not a soapberry then the gildhall is not botryoid and it is not a kind of a soapberry. sent6: if something skims Pasigraphy and does not deduce martingale it is a kind of a RFD. sent7: That the Pasigraphy does skim gildhall hold. sent8: if that either the ready-made is not a dreamer or it is not a prostitution or both is not correct then the hawthorn is not a soapberry. sent9: the fact that the gildhall is immunological and is lively is not right. sent10: the rounder hushes. sent11: if the rounder is a hushed it is communal. sent12: if that the bread-bin is not immunological is not false the hawthorn does not skim Pasigraphy and is lively. sent13: the gildhall does not deduce martingale if that it is immunological and lively is not true. sent14: if the rounder is communal then the fact that the XXX is not a dainty and is immunological is incorrect.
sent8 & sent2 -> int1: the hawthorn is not a soapberry.; int1 & sent5 -> int2: the gildhall is not botryoid and it is not a soapberry.; int2 -> int3: the gildhall is not botryoid.; sent6 -> int4: the gildhall is a RFD if it does skim Pasigraphy and does not deduce martingale.; sent13 & sent9 -> int5: the gildhall does not deduce martingale.;
that the gildhall is a RFD but it is not botryoid does not hold.
sent11 & sent10 -> int6: the rounder is communal.; sent14 & int6 -> int7: the fact that the XXX is not a dainty but it is immunological is not right.; sent1 & int7 -> int8: the bread-bin is not immunological.; sent12 & int8 -> int9: the hawthorn does not skim Pasigraphy but it is lively.; int9 -> int10: there is something such that it does not skim Pasigraphy and it is lively.;
$hypothesis$ = the gildhall is a RFD and is not botryoid. ; $context$ = sent1: if that the XXX is not a kind of a dainty but it is immunological is not true then the bread-bin is not immunological. sent2: that the ready-made is not a kind of a dreamer or it is not a prostitution or both does not hold. sent3: the gildhall does not deduce martingale and is not lively if the hawthorn is not lively. sent4: if that the ready-made is not a dreamer is not incorrect then it is not lively. sent5: if the hawthorn is not a soapberry then the gildhall is not botryoid and it is not a kind of a soapberry. sent6: if something skims Pasigraphy and does not deduce martingale it is a kind of a RFD. sent7: That the Pasigraphy does skim gildhall hold. sent8: if that either the ready-made is not a dreamer or it is not a prostitution or both is not correct then the hawthorn is not a soapberry. sent9: the fact that the gildhall is immunological and is lively is not right. sent10: the rounder hushes. sent11: if the rounder is a hushed it is communal. sent12: if that the bread-bin is not immunological is not false the hawthorn does not skim Pasigraphy and is lively. sent13: the gildhall does not deduce martingale if that it is immunological and lively is not true. sent14: if the rounder is communal then the fact that the XXX is not a dainty and is immunological is incorrect. ; $proof$ = 
sent8 & sent2 -> int1: the hawthorn is not a soapberry.; int1 & sent5 -> int2: the gildhall is not botryoid and it is not a soapberry.; int2 -> int3: the gildhall is not botryoid.; sent6 -> int4: the gildhall is a RFD if it does skim Pasigraphy and does not deduce martingale.; sent13 & sent9 -> int5: the gildhall does not deduce martingale.; __UNKNOWN__