there is something such that if it is not a totemist and does not tin sitar then it is infantile.
sent1: the fir is infantile if it is not a totemist and does not tin sitar.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a totemist and does not tin sitar then it is infantile. ; $context$ = sent1: the fir is infantile if it is not a totemist and does not tin sitar. ; $proof$ = 
sent1 -> hypothesis; __PROVED__