the barker is suctorial if the imprint is a Steatornithidae.
sent1: the imprint is suctorial if the barker is a Bishkek. sent2: there is something such that it is a Steatornithidae. sent3: if there exists something such that it either is a Steatornithidae or is suctorial or both then the barker is a kind of a Bishkek. sent4: the imprint is a Bishkek.
void -> assump1: Let's assume that the imprint is a Steatornithidae.; assump1 -> int1: the imprint is a Bishkek or it is a Steatornithidae or both.; int1 -> int2: there exists something such that it is a Bishkek and/or it is a Steatornithidae.;
$hypothesis$ = the barker is suctorial if the imprint is a Steatornithidae. ; $context$ = sent1: the imprint is suctorial if the barker is a Bishkek. sent2: there is something such that it is a Steatornithidae. sent3: if there exists something such that it either is a Steatornithidae or is suctorial or both then the barker is a kind of a Bishkek. sent4: the imprint is a Bishkek. ; $proof$ = 
void -> assump1: Let's assume that the imprint is a Steatornithidae.; assump1 -> int1: the imprint is a Bishkek or it is a Steatornithidae or both.; int1 -> int2: there exists something such that it is a Bishkek and/or it is a Steatornithidae.; __UNKNOWN__