the Vedist is not a kind of a raw.
sent1: the Vedist is not a tort-feasor if it is a kind of a buteonine and it corners larvacean. sent2: the Vedist is a kind of a buteonine that does corner larvacean. sent3: if something is not a kind of a electrolyte and is not a tort-feasor it is not a raw. sent4: that the fact that the Vedist is a kind of a Pleione and it is a caveman is not incorrect is not true. sent5: if the fact that the Vedist is a Pleione and is a caveman is incorrect it is not a electrolyte. sent6: if the fakir is a kind of a electrolyte and is a buteonine then the island is not a kind of a electrolyte.
sent5 & sent4 -> int1: the Vedist is not a kind of a electrolyte.; sent1 & sent2 -> int2: the Vedist is not a kind of a tort-feasor.; int1 & int2 -> int3: the Vedist is not a kind of a electrolyte and is not a kind of a tort-feasor.; sent3 -> int4: the Vedist is not a kind of a raw if it is not a electrolyte and it is not a tort-feasor.; int3 & int4 -> hypothesis;
the Vedist is a raw.
$hypothesis$ = the Vedist is not a kind of a raw. ; $context$ = sent1: the Vedist is not a tort-feasor if it is a kind of a buteonine and it corners larvacean. sent2: the Vedist is a kind of a buteonine that does corner larvacean. sent3: if something is not a kind of a electrolyte and is not a tort-feasor it is not a raw. sent4: that the fact that the Vedist is a kind of a Pleione and it is a caveman is not incorrect is not true. sent5: if the fact that the Vedist is a Pleione and is a caveman is incorrect it is not a electrolyte. sent6: if the fakir is a kind of a electrolyte and is a buteonine then the island is not a kind of a electrolyte. ; $proof$ = 
sent5 & sent4 -> int1: the Vedist is not a kind of a electrolyte.; sent1 & sent2 -> int2: the Vedist is not a kind of a tort-feasor.; int1 & int2 -> int3: the Vedist is not a kind of a electrolyte and is not a kind of a tort-feasor.; sent3 -> int4: the Vedist is not a kind of a raw if it is not a electrolyte and it is not a tort-feasor.; int3 & int4 -> hypothesis; __PROVED__