that the toucan is biogenic if the neurogliacyte is a stonecrop does not hold.
sent1: there is something such that it is a Muhammad. sent2: if something that is a Muhammad does not riddle tortoiseshell then the neurogliacyte is not a kind of a stonecrop. sent3: the toucan is biogenic if that the Parr is a Muhammad and does not riddle tortoiseshell is not right.
void -> assump1: Let's assume that the neurogliacyte is a stonecrop.; void -> assump2: Let's assume that the Parr is a Muhammad but it does not riddle tortoiseshell.; assump2 -> int1: something is a kind of a Muhammad but it does not riddle tortoiseshell.; int1 & sent2 -> int2: the neurogliacyte is not a stonecrop.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the Parr is a kind of a Muhammad that does not riddle tortoiseshell is false.; sent3 & int4 -> int5: the toucan is biogenic.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the toucan is biogenic if the neurogliacyte is a stonecrop does not hold. ; $context$ = sent1: there is something such that it is a Muhammad. sent2: if something that is a Muhammad does not riddle tortoiseshell then the neurogliacyte is not a kind of a stonecrop. sent3: the toucan is biogenic if that the Parr is a Muhammad and does not riddle tortoiseshell is not right. ; $proof$ = 
void -> assump1: Let's assume that the neurogliacyte is a stonecrop.; void -> assump2: Let's assume that the Parr is a Muhammad but it does not riddle tortoiseshell.; assump2 -> int1: something is a kind of a Muhammad but it does not riddle tortoiseshell.; int1 & sent2 -> int2: the neurogliacyte is not a stonecrop.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the Parr is a kind of a Muhammad that does not riddle tortoiseshell is false.; sent3 & int4 -> int5: the toucan is biogenic.; [assump1] & int5 -> hypothesis; __DISPROVED__