the kinase does sour.
sent1: if the habergeon is not a ichor the hairbrush is amylolytic and/or does not uncurl. sent2: the kinase is a Fry or it is not amylolytic or both if the habergeon is not a kind of a ichor. sent3: if something does not uncurl it is not nonresidential. sent4: that if that something does not accept giantism and it is not a Fry is false it is a kind of a stoat hold. sent5: if something is not a grocer it is not an oxford. sent6: something is sour if it is a stoat. sent7: if the fact that the hairbrush does not sour hold the fact that the kinase is a kind of amylolytic thing that is not nonresidential is incorrect. sent8: the hairbrush is not a Fry. sent9: the fact that the kinase does not accept giantism and is not a Fry does not hold if the hairbrush is not nonresidential. sent10: the habergeon is not a kind of a ichor if it is not nonresidential. sent11: something is municipal if it is a kind of a preference. sent12: the fact that the hairbrush is a Fry and does not accept giantism is wrong if the kinase does not uncurl. sent13: either the hairbrush is amylolytic or it does not accept giantism or both. sent14: the habergeon is not a ichor. sent15: something is not nonresidential if it is amylolytic. sent16: the out-basket does not uncurl.
sent15 -> int1: the hairbrush is residential if the fact that it is amylolytic is not false.; sent1 & sent14 -> int2: the hairbrush is amylolytic and/or it does not uncurl.; sent3 -> int3: if the hairbrush does not uncurl it is not nonresidential.; int1 & int2 & int3 -> int4: the hairbrush is not nonresidential.; int4 & sent9 -> int5: that the kinase does not accept giantism and it is not a Fry does not hold.; sent4 -> int6: if the fact that the kinase does not accept giantism and is not a Fry is not true it is a kind of a stoat.; int5 & int6 -> int7: the kinase is a stoat.; sent6 -> int8: the kinase does sour if it is a stoat.; int7 & int8 -> hypothesis;
$hypothesis$ = the kinase does sour. ; $context$ = sent1: if the habergeon is not a ichor the hairbrush is amylolytic and/or does not uncurl. sent2: the kinase is a Fry or it is not amylolytic or both if the habergeon is not a kind of a ichor. sent3: if something does not uncurl it is not nonresidential. sent4: that if that something does not accept giantism and it is not a Fry is false it is a kind of a stoat hold. sent5: if something is not a grocer it is not an oxford. sent6: something is sour if it is a stoat. sent7: if the fact that the hairbrush does not sour hold the fact that the kinase is a kind of amylolytic thing that is not nonresidential is incorrect. sent8: the hairbrush is not a Fry. sent9: the fact that the kinase does not accept giantism and is not a Fry does not hold if the hairbrush is not nonresidential. sent10: the habergeon is not a kind of a ichor if it is not nonresidential. sent11: something is municipal if it is a kind of a preference. sent12: the fact that the hairbrush is a Fry and does not accept giantism is wrong if the kinase does not uncurl. sent13: either the hairbrush is amylolytic or it does not accept giantism or both. sent14: the habergeon is not a ichor. sent15: something is not nonresidential if it is amylolytic. sent16: the out-basket does not uncurl. ; $proof$ = 
sent15 -> int1: the hairbrush is residential if the fact that it is amylolytic is not false.; sent1 & sent14 -> int2: the hairbrush is amylolytic and/or it does not uncurl.; sent3 -> int3: if the hairbrush does not uncurl it is not nonresidential.; int1 & int2 & int3 -> int4: the hairbrush is not nonresidential.; int4 & sent9 -> int5: that the kinase does not accept giantism and it is not a Fry does not hold.; sent4 -> int6: if the fact that the kinase does not accept giantism and is not a Fry is not true it is a kind of a stoat.; int5 & int6 -> int7: the kinase is a stoat.; sent6 -> int8: the kinase does sour if it is a stoat.; int7 & int8 -> hypothesis; __PROVED__