the lightbulb is a realism.
sent1: the lightbulb does date exhaust. sent2: the crooner is not a kind of a realism if either the lightbulb is not unstatesmanlike or it dates exhaust or both. sent3: the lightbulb is not antheridial. sent4: the manometer dates bigheaded and/or it is a kind of a backache. sent5: the manometer is not a subunit but it is appropriative. sent6: everything is not a guarantee. sent7: if a non-appropriative thing dates exhaust it does unveil Toulouse. sent8: the lightbulb does not date bigheaded. sent9: if that the lightbulb reneges is right then it falsifies lightbulb. sent10: if something unveils Toulouse then it is a realism. sent11: either the manometer does not date bigheaded or it is a backache or both if the crooner is statesmanlike. sent12: the manometer does date bigheaded and/or it is a backache if the crooner is not unstatesmanlike. sent13: if the manometer is not unstatesmanlike then the crooner does not date exhaust or does date bigheaded or both. sent14: everything is not unstatesmanlike. sent15: the lightbulb does not date exhaust and/or is a backache. sent16: The exhaust does date lightbulb. sent17: the crooner is a backache. sent18: the lightbulb is not appropriative if the fact that the manometer does not date bigheaded hold.
sent14 -> int1: the crooner is not unstatesmanlike.; int1 & sent11 -> int2: the manometer does not date bigheaded and/or it is a kind of a backache.; sent7 -> int3: if the lightbulb is not appropriative and does date exhaust then it unveils Toulouse.; sent10 -> int4: the lightbulb is a realism if it does unveil Toulouse.;
$hypothesis$ = the lightbulb is a realism. ; $context$ = sent1: the lightbulb does date exhaust. sent2: the crooner is not a kind of a realism if either the lightbulb is not unstatesmanlike or it dates exhaust or both. sent3: the lightbulb is not antheridial. sent4: the manometer dates bigheaded and/or it is a kind of a backache. sent5: the manometer is not a subunit but it is appropriative. sent6: everything is not a guarantee. sent7: if a non-appropriative thing dates exhaust it does unveil Toulouse. sent8: the lightbulb does not date bigheaded. sent9: if that the lightbulb reneges is right then it falsifies lightbulb. sent10: if something unveils Toulouse then it is a realism. sent11: either the manometer does not date bigheaded or it is a backache or both if the crooner is statesmanlike. sent12: the manometer does date bigheaded and/or it is a backache if the crooner is not unstatesmanlike. sent13: if the manometer is not unstatesmanlike then the crooner does not date exhaust or does date bigheaded or both. sent14: everything is not unstatesmanlike. sent15: the lightbulb does not date exhaust and/or is a backache. sent16: The exhaust does date lightbulb. sent17: the crooner is a backache. sent18: the lightbulb is not appropriative if the fact that the manometer does not date bigheaded hold. ; $proof$ = 
sent14 -> int1: the crooner is not unstatesmanlike.; int1 & sent11 -> int2: the manometer does not date bigheaded and/or it is a kind of a backache.; sent7 -> int3: if the lightbulb is not appropriative and does date exhaust then it unveils Toulouse.; sent10 -> int4: the lightbulb is a realism if it does unveil Toulouse.; __UNKNOWN__