the truck is not a Dalian.
sent1: if the fact that something is a kind of a Ventose and it is a rifleman does not hold it is not a kind of a Ventose. sent2: if the plimsoll is not a apothecium then the fact that it is a dovetail but not a Dalian does not hold. sent3: if the fact that something does dovetail and it does suppose is not right it is not a dovetail. sent4: there exists nothing that is a dovetail and supposes.
void -> assump1: Let's assume that that the truck is a Dalian is not wrong.; sent3 -> int1: the truck does not dovetail if that that it is a dovetail and it does suppose is true is false.; sent4 -> int2: the fact that the truck is a kind of a dovetail that does suppose is not correct.; int1 & int2 -> int3: the truck is not a kind of a dovetail.;
the plimsoll does not dovetail.
$hypothesis$ = the truck is not a Dalian. ; $context$ = sent1: if the fact that something is a kind of a Ventose and it is a rifleman does not hold it is not a kind of a Ventose. sent2: if the plimsoll is not a apothecium then the fact that it is a dovetail but not a Dalian does not hold. sent3: if the fact that something does dovetail and it does suppose is not right it is not a dovetail. sent4: there exists nothing that is a dovetail and supposes. ; $proof$ = 
void -> assump1: Let's assume that that the truck is a Dalian is not wrong.; sent3 -> int1: the truck does not dovetail if that that it is a dovetail and it does suppose is true is false.; sent4 -> int2: the fact that the truck is a kind of a dovetail that does suppose is not correct.; int1 & int2 -> int3: the truck is not a kind of a dovetail.; __UNKNOWN__