the fact that the poultry does not disentangle is not false.
sent1: the schnorrer is not cytological if there exists something such that the fact that it is non-Attic and not cytological is not correct. sent2: if there is something such that the fact that it does not reticulate and it is not a Nigeria does not hold then the handler is atypical. sent3: if the fact that the gastropod does not ogle fourteenth hold that it is both not a Attic and cytological is incorrect. sent4: the gastropod does not ogle fourteenth if something either does grasp Japan or does not ogle fourteenth or both. sent5: if something is not atypical then it does not disentangle. sent6: the handler is a washbasin if it is a caddie. sent7: the whole grasps Japan or does not ogle fourteenth or both if it is not a Novosibirsk. sent8: something caddies if it is atypical. sent9: the schnorrer is a caddie and is mandibulate if it is not cytological. sent10: the poultry disentangles if the handler is mandibulate. sent11: the handler is mandibulate if the fact that it is a washbasin is not incorrect. sent12: that the Quapaw is not reticulate and not a Nigeria does not hold. sent13: the whole is not a Novosibirsk. sent14: if the fact that the handler is not a washbasin and/or it is atypical is false the poultry is not atypical.
sent12 -> int1: there exists something such that that it does not reticulate and is not a Nigeria is not right.; int1 & sent2 -> int2: the handler is atypical.; sent8 -> int3: the handler is a caddie if it is atypical.; int2 & int3 -> int4: the handler is a kind of a caddie.; int4 & sent6 -> int5: that the handler is a kind of a washbasin is right.; int5 & sent11 -> int6: the handler is mandibulate.; int6 & sent10 -> hypothesis;
the poultry does not disentangle.
sent5 -> int7: if the fact that the poultry is not atypical is correct it does not disentangle.; sent7 & sent13 -> int8: either the whole grasps Japan or it does not ogle fourteenth or both.; int8 -> int9: there is something such that it grasps Japan and/or does not ogle fourteenth.; int9 & sent4 -> int10: the gastropod does not ogle fourteenth.; sent3 & int10 -> int11: the fact that the gastropod is not Attic but cytological is not true.; int11 -> int12: there is something such that that it is not a Attic and is cytological does not hold.; int12 & sent1 -> int13: the schnorrer is not cytological.; sent9 & int13 -> int14: the schnorrer is a kind of a caddie that is not non-mandibulate.; int14 -> int15: the schnorrer does caddie.; int15 -> int16: something does caddie.;
$hypothesis$ = the fact that the poultry does not disentangle is not false. ; $context$ = sent1: the schnorrer is not cytological if there exists something such that the fact that it is non-Attic and not cytological is not correct. sent2: if there is something such that the fact that it does not reticulate and it is not a Nigeria does not hold then the handler is atypical. sent3: if the fact that the gastropod does not ogle fourteenth hold that it is both not a Attic and cytological is incorrect. sent4: the gastropod does not ogle fourteenth if something either does grasp Japan or does not ogle fourteenth or both. sent5: if something is not atypical then it does not disentangle. sent6: the handler is a washbasin if it is a caddie. sent7: the whole grasps Japan or does not ogle fourteenth or both if it is not a Novosibirsk. sent8: something caddies if it is atypical. sent9: the schnorrer is a caddie and is mandibulate if it is not cytological. sent10: the poultry disentangles if the handler is mandibulate. sent11: the handler is mandibulate if the fact that it is a washbasin is not incorrect. sent12: that the Quapaw is not reticulate and not a Nigeria does not hold. sent13: the whole is not a Novosibirsk. sent14: if the fact that the handler is not a washbasin and/or it is atypical is false the poultry is not atypical. ; $proof$ = 
sent12 -> int1: there exists something such that that it does not reticulate and is not a Nigeria is not right.; int1 & sent2 -> int2: the handler is atypical.; sent8 -> int3: the handler is a caddie if it is atypical.; int2 & int3 -> int4: the handler is a kind of a caddie.; int4 & sent6 -> int5: that the handler is a kind of a washbasin is right.; int5 & sent11 -> int6: the handler is mandibulate.; int6 & sent10 -> hypothesis; __DISPROVED__