the wingman does wan.
sent1: if that the dosser is not sensorimotor hold it is a Bahai and it does stunt horsebean. sent2: something is not sensorimotor if that it establishes and is sensorimotor is false. sent3: if the dosser is not non-Bahai then the atoll is not a kind of a chickenpox. sent4: if there is something such that it is transoceanic the atoll does not wan. sent5: something is transoceanic if it is an esophagus. sent6: if that the fact that something either is a macrencephaly or is a kind of an epileptic or both is right does not hold then it is not a kind of a schizophrenic. sent7: something that is not a kind of a chickenpox is a schizophrenic that unseals dosser. sent8: if the atoll does not wan and is a schizophrenic then the wingman does not wan. sent9: if that something is not epileptic and/or it is a kind of a macrencephaly is wrong then it does not wan. sent10: the wingman is a schizophrenic. sent11: the wingman is a macrencephaly if the fact that it does not wan is not false. sent12: the wingman is a macrencephaly. sent13: the samovar is not a kind of an esophagus and it does not unseal Cortland. sent14: the shin is a kind of an esophagus if the samovar is not a kind of an esophagus and it does not unseal Cortland. sent15: something does not wan if the fact that it either is not a schizophrenic or is a kind of an epileptic or both does not hold. sent16: if the fact that the wingman is a kind of a macrencephaly and/or it is an epileptic is false then it is not a schizophrenic. sent17: something is not a schizophrenic if that it is not a kind of a macrencephaly and/or it is a kind of an epileptic does not hold.
void -> assump1: Let's assume that the wingman does not wan.; sent17 -> int1: if the fact that either the wingman is not a kind of a macrencephaly or it is epileptic or both does not hold it is not a schizophrenic.;
the wingman does not wan.
sent5 -> int2: the fact that the shin is transoceanic is right if it is a kind of an esophagus.; sent14 & sent13 -> int3: the shin is a kind of an esophagus.; int2 & int3 -> int4: the shin is transoceanic.; int4 -> int5: there exists something such that the fact that it is transoceanic hold.; int5 & sent4 -> int6: the atoll does not wan.; sent7 -> int7: the fact that if the atoll is not the chickenpox then the atoll is a kind of schizophrenic thing that unseals dosser is correct.; sent2 -> int8: the dosser is not sensorimotor if the fact that it does establish and is sensorimotor does not hold.;
$hypothesis$ = the wingman does wan. ; $context$ = sent1: if that the dosser is not sensorimotor hold it is a Bahai and it does stunt horsebean. sent2: something is not sensorimotor if that it establishes and is sensorimotor is false. sent3: if the dosser is not non-Bahai then the atoll is not a kind of a chickenpox. sent4: if there is something such that it is transoceanic the atoll does not wan. sent5: something is transoceanic if it is an esophagus. sent6: if that the fact that something either is a macrencephaly or is a kind of an epileptic or both is right does not hold then it is not a kind of a schizophrenic. sent7: something that is not a kind of a chickenpox is a schizophrenic that unseals dosser. sent8: if the atoll does not wan and is a schizophrenic then the wingman does not wan. sent9: if that something is not epileptic and/or it is a kind of a macrencephaly is wrong then it does not wan. sent10: the wingman is a schizophrenic. sent11: the wingman is a macrencephaly if the fact that it does not wan is not false. sent12: the wingman is a macrencephaly. sent13: the samovar is not a kind of an esophagus and it does not unseal Cortland. sent14: the shin is a kind of an esophagus if the samovar is not a kind of an esophagus and it does not unseal Cortland. sent15: something does not wan if the fact that it either is not a schizophrenic or is a kind of an epileptic or both does not hold. sent16: if the fact that the wingman is a kind of a macrencephaly and/or it is an epileptic is false then it is not a schizophrenic. sent17: something is not a schizophrenic if that it is not a kind of a macrencephaly and/or it is a kind of an epileptic does not hold. ; $proof$ = 
void -> assump1: Let's assume that the wingman does not wan.; sent17 -> int1: if the fact that either the wingman is not a kind of a macrencephaly or it is epileptic or both does not hold it is not a schizophrenic.; __UNKNOWN__