the schizophrenic does snow schizophrenic and it is a kind of a bond.
sent1: the fact that something snows schizophrenic and does bond is not correct if it is not a transpose. sent2: the schizophrenic is socialistic. sent3: the schizophrenic is a wanderlust. sent4: something does not transpose if it is socialistic and it is a wanderlust.
sent2 & sent3 -> int1: the schizophrenic is a kind of socialistic thing that is a kind of a wanderlust.; sent4 -> int2: the schizophrenic is not a transpose if it is socialistic and it is a wanderlust.; int1 & int2 -> int3: the schizophrenic does not transpose.; sent1 -> int4: if the schizophrenic is not a transpose then that it does snow schizophrenic and it is a kind of a bond is wrong.; int3 & int4 -> hypothesis;
$hypothesis$ = the schizophrenic does snow schizophrenic and it is a kind of a bond. ; $context$ = sent1: the fact that something snows schizophrenic and does bond is not correct if it is not a transpose. sent2: the schizophrenic is socialistic. sent3: the schizophrenic is a wanderlust. sent4: something does not transpose if it is socialistic and it is a wanderlust. ; $proof$ = 
sent2 & sent3 -> int1: the schizophrenic is a kind of socialistic thing that is a kind of a wanderlust.; sent4 -> int2: the schizophrenic is not a transpose if it is socialistic and it is a wanderlust.; int1 & int2 -> int3: the schizophrenic does not transpose.; sent1 -> int4: if the schizophrenic is not a transpose then that it does snow schizophrenic and it is a kind of a bond is wrong.; int3 & int4 -> hypothesis; __DISPROVED__