the chloropicrin is a neurobiologist.
sent1: the assessor is not malign but it does shock. sent2: the chloropicrin does shock and/or it is not tractable if the assessor does shock. sent3: the chloropicrin either does not shock or is tractable or both. sent4: the pye-dog is a liquor if it is a kind of a Maoist. sent5: the chloropicrin is a shock or not tractable or both. sent6: the fact that something is a kind of a neurobiologist and it shocks does not hold if it is not a playschool. sent7: the starter is not tractable. sent8: if something is not a playschool it is tractable and is not a shock. sent9: if something is malign then either the hairdo is not tractable or it is not a ratio or both. sent10: if something is not a shock and/or it is not tractable it is a kind of a neurobiologist. sent11: the pye-dog does not yell chloropicrin. sent12: the chloropicrin is not a shock or it is not tractable or both if the assessor is a shock. sent13: the fact that the pye-dog is a Maoist is not incorrect. sent14: if something does not yell chloropicrin and is a liquor that the potage is not a playschool is not false. sent15: the chloropicrin is not malign and/or it is not a shock if the assessor is malign.
sent1 -> int1: the assessor is a shock.; int1 & sent12 -> int2: the chloropicrin is not a shock and/or is intractable.; sent10 -> int3: if the chloropicrin does not shock or it is not tractable or both then it is a neurobiologist.; int2 & int3 -> hypothesis;
the hairdo is not tractable and/or it is not a kind of a ratio.
sent6 -> int4: the fact that the potage is a neurobiologist and it shocks is wrong if it is not a playschool.;
$hypothesis$ = the chloropicrin is a neurobiologist. ; $context$ = sent1: the assessor is not malign but it does shock. sent2: the chloropicrin does shock and/or it is not tractable if the assessor does shock. sent3: the chloropicrin either does not shock or is tractable or both. sent4: the pye-dog is a liquor if it is a kind of a Maoist. sent5: the chloropicrin is a shock or not tractable or both. sent6: the fact that something is a kind of a neurobiologist and it shocks does not hold if it is not a playschool. sent7: the starter is not tractable. sent8: if something is not a playschool it is tractable and is not a shock. sent9: if something is malign then either the hairdo is not tractable or it is not a ratio or both. sent10: if something is not a shock and/or it is not tractable it is a kind of a neurobiologist. sent11: the pye-dog does not yell chloropicrin. sent12: the chloropicrin is not a shock or it is not tractable or both if the assessor is a shock. sent13: the fact that the pye-dog is a Maoist is not incorrect. sent14: if something does not yell chloropicrin and is a liquor that the potage is not a playschool is not false. sent15: the chloropicrin is not malign and/or it is not a shock if the assessor is malign. ; $proof$ = 
sent1 -> int1: the assessor is a shock.; int1 & sent12 -> int2: the chloropicrin is not a shock and/or is intractable.; sent10 -> int3: if the chloropicrin does not shock or it is not tractable or both then it is a neurobiologist.; int2 & int3 -> hypothesis; __PROVED__