that there is something such that if it is a kind of a immunosuppressant it is a cubitus is not right.
sent1: the sashimi is a kind of a cubitus if it is a shinny. sent2: the sashimi is a thalassemia. sent3: the armrest is a shinny. sent4: if the sashimi is a immunosuppressant it is a kind of a shinny.
void -> assump1: Let's assume that the sashimi is a kind of a immunosuppressant.; sent4 & assump1 -> int1: the sashimi is a shinny.; int1 & sent1 -> int2: the sashimi is a kind of a cubitus.; [assump1] & int2 -> int3: the sashimi is a kind of a cubitus if it is a kind of a immunosuppressant.; int3 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of a immunosuppressant it is a cubitus is not right. ; $context$ = sent1: the sashimi is a kind of a cubitus if it is a shinny. sent2: the sashimi is a thalassemia. sent3: the armrest is a shinny. sent4: if the sashimi is a immunosuppressant it is a kind of a shinny. ; $proof$ = 
void -> assump1: Let's assume that the sashimi is a kind of a immunosuppressant.; sent4 & assump1 -> int1: the sashimi is a shinny.; int1 & sent1 -> int2: the sashimi is a kind of a cubitus.; [assump1] & int2 -> int3: the sashimi is a kind of a cubitus if it is a kind of a immunosuppressant.; int3 -> hypothesis; __DISPROVED__