the adapter is necrotic if the aphanite singles deep-sea.
sent1: something is necrotic if it singles deep-sea. sent2: if something is intracellular then that it is a boomerang and does not swap eunuchoidism is false. sent3: the aphanite does boomerang. sent4: that the tamp does boomerang and it swaps eunuchoidism is wrong. sent5: if the tamp is not non-intracellular then that it boomerangs and swaps eunuchoidism does not hold. sent6: if the tamp does swap eunuchoidism the aphanite does not single deep-sea. sent7: if something is not non-intracellular then the fact that it does boomerang and it swaps eunuchoidism does not hold. sent8: the aphanite does not single deep-sea if the fact that the tamp is a boomerang but it does not swap eunuchoidism is wrong. sent9: if the tamp is not intracellular then the adapter is psychiatric.
sent2 -> int1: if the fact that the tamp is not non-intracellular hold then the fact that it boomerangs and it does not swap eunuchoidism does not hold.; void -> assump2: Let's assume that the tamp is intracellular.; int1 & assump2 -> int2: that the tamp is a kind of a boomerang but it does not swap eunuchoidism is false.; int2 & sent8 -> int3: the aphanite does not single deep-sea.; void -> assump1: Let's assume that the aphanite singles deep-sea.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tamp is not intracellular.; int5 & sent9 -> int6: the adapter is psychiatric.;
$hypothesis$ = the adapter is necrotic if the aphanite singles deep-sea. ; $context$ = sent1: something is necrotic if it singles deep-sea. sent2: if something is intracellular then that it is a boomerang and does not swap eunuchoidism is false. sent3: the aphanite does boomerang. sent4: that the tamp does boomerang and it swaps eunuchoidism is wrong. sent5: if the tamp is not non-intracellular then that it boomerangs and swaps eunuchoidism does not hold. sent6: if the tamp does swap eunuchoidism the aphanite does not single deep-sea. sent7: if something is not non-intracellular then the fact that it does boomerang and it swaps eunuchoidism does not hold. sent8: the aphanite does not single deep-sea if the fact that the tamp is a boomerang but it does not swap eunuchoidism is wrong. sent9: if the tamp is not intracellular then the adapter is psychiatric. ; $proof$ = 
sent2 -> int1: if the fact that the tamp is not non-intracellular hold then the fact that it boomerangs and it does not swap eunuchoidism does not hold.; void -> assump2: Let's assume that the tamp is intracellular.; int1 & assump2 -> int2: that the tamp is a kind of a boomerang but it does not swap eunuchoidism is false.; int2 & sent8 -> int3: the aphanite does not single deep-sea.; void -> assump1: Let's assume that the aphanite singles deep-sea.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tamp is not intracellular.; int5 & sent9 -> int6: the adapter is psychiatric.; __UNKNOWN__