the triggerfish is not a kind of a Dalian.
sent1: the defile does integrate chino. sent2: that something is a first-rater but it does not spin is false if it is not a Dalian. sent3: The chino does integrate defile. sent4: a branchiopod does sob. sent5: the defile is a branchiopod if it does integrate chino. sent6: the defile does not sob if that the triggerfish is a first-rater but it is not a spin does not hold. sent7: the fact that the acanthus integrates chino is true.
sent2 -> int1: that the triggerfish is a first-rater but it is not a spin is not right if it is not a Dalian.; void -> assump1: Let's assume that the triggerfish is not a Dalian.; int1 & assump1 -> int2: the fact that the triggerfish is a kind of a first-rater and does not spin does not hold.; int2 & sent6 -> int3: the defile does not sob.; sent4 -> int4: if the fact that the defile is branchiopod hold it does sob.; sent5 & sent1 -> int5: the defile is a kind of a branchiopod.; int4 & int5 -> int6: the defile does sob.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the triggerfish is not a kind of a Dalian. ; $context$ = sent1: the defile does integrate chino. sent2: that something is a first-rater but it does not spin is false if it is not a Dalian. sent3: The chino does integrate defile. sent4: a branchiopod does sob. sent5: the defile is a branchiopod if it does integrate chino. sent6: the defile does not sob if that the triggerfish is a first-rater but it is not a spin does not hold. sent7: the fact that the acanthus integrates chino is true. ; $proof$ = 
sent2 -> int1: that the triggerfish is a first-rater but it is not a spin is not right if it is not a Dalian.; void -> assump1: Let's assume that the triggerfish is not a Dalian.; int1 & assump1 -> int2: the fact that the triggerfish is a kind of a first-rater and does not spin does not hold.; int2 & sent6 -> int3: the defile does not sob.; sent4 -> int4: if the fact that the defile is branchiopod hold it does sob.; sent5 & sent1 -> int5: the defile is a kind of a branchiopod.; int4 & int5 -> int6: the defile does sob.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__