if the TNT is an unhappiness then the kino identifies rudderfish.
sent1: something does identify rudderfish if it rabbets bilingualism and is a tusker. sent2: the finish is not a noctiluca if the TNT is a Crichton and it is an unhappiness. sent3: the kino rabbets bilingualism and is not a tusker if the finish is not a noctiluca. sent4: the kino does identify rudderfish if it does rabbet bilingualism and is a tusker. sent5: the TNT is a Crichton.
void -> assump1: Let's assume that the TNT is a kind of an unhappiness.; sent5 & assump1 -> int1: the TNT is a kind of a Crichton and it is an unhappiness.; int1 & sent2 -> int2: the finish is not a kind of a noctiluca.; int2 & sent3 -> int3: the kino rabbets bilingualism and is not a tusker.;
$hypothesis$ = if the TNT is an unhappiness then the kino identifies rudderfish. ; $context$ = sent1: something does identify rudderfish if it rabbets bilingualism and is a tusker. sent2: the finish is not a noctiluca if the TNT is a Crichton and it is an unhappiness. sent3: the kino rabbets bilingualism and is not a tusker if the finish is not a noctiluca. sent4: the kino does identify rudderfish if it does rabbet bilingualism and is a tusker. sent5: the TNT is a Crichton. ; $proof$ = 
void -> assump1: Let's assume that the TNT is a kind of an unhappiness.; sent5 & assump1 -> int1: the TNT is a kind of a Crichton and it is an unhappiness.; int1 & sent2 -> int2: the finish is not a kind of a noctiluca.; int2 & sent3 -> int3: the kino rabbets bilingualism and is not a tusker.; __UNKNOWN__