the toothpowder is a kind of a fruition.
sent1: the fact that the encapsulation does not redden encapsulation and it is not unintelligent is not true. sent2: the fact that the encapsulation is not a griminess but it is orthoptic does not hold. sent3: if that the encapsulation is not a griminess and is non-orthoptic does not hold it is not a overstrain. sent4: if the encapsulation is not a griminess and it is not orthoptic the toothpowder is not a kind of a fruition. sent5: if the fact that the encapsulation does not redden encapsulation and is not unintelligent is wrong it is a overstrain. sent6: that the encapsulation does redden encapsulation but it is not unintelligent is wrong. sent7: the fact that the encapsulation does not redden encapsulation but it is unintelligent is not right.
void -> assump1: Let's assume that that the encapsulation is not a griminess and not orthoptic is not correct.; sent3 & assump1 -> int1: the encapsulation is not a overstrain.; sent5 & sent1 -> int2: the fact that the encapsulation is a overstrain hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the encapsulation is not a griminess and is not orthoptic.; int4 & sent4 -> hypothesis;
$hypothesis$ = the toothpowder is a kind of a fruition. ; $context$ = sent1: the fact that the encapsulation does not redden encapsulation and it is not unintelligent is not true. sent2: the fact that the encapsulation is not a griminess but it is orthoptic does not hold. sent3: if that the encapsulation is not a griminess and is non-orthoptic does not hold it is not a overstrain. sent4: if the encapsulation is not a griminess and it is not orthoptic the toothpowder is not a kind of a fruition. sent5: if the fact that the encapsulation does not redden encapsulation and is not unintelligent is wrong it is a overstrain. sent6: that the encapsulation does redden encapsulation but it is not unintelligent is wrong. sent7: the fact that the encapsulation does not redden encapsulation but it is unintelligent is not right. ; $proof$ = 
void -> assump1: Let's assume that that the encapsulation is not a griminess and not orthoptic is not correct.; sent3 & assump1 -> int1: the encapsulation is not a overstrain.; sent5 & sent1 -> int2: the fact that the encapsulation is a overstrain hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the encapsulation is not a griminess and is not orthoptic.; int4 & sent4 -> hypothesis; __DISPROVED__