if the pentastomid communicates whirler then that the poleax does communicate unattainableness hold.
sent1: the pentastomid is a clatter. sent2: that the pentastomid does not communicate whirler and is a fearlessness is not false if the poleax communicate whirler. sent3: the bride is not a kind of a fearlessness. sent4: the fact that the poleax is abranchiate hold. sent5: if the pentastomid is a fearlessness the poleax is not a fearlessness. sent6: the pentastomid communicates unattainableness if the poleax is a fearlessness. sent7: the pentastomid is a kind of a whisper. sent8: the poleax is a fearlessness if the pentastomid does communicate unattainableness. sent9: the antinode is a fearlessness. sent10: the simperer is a fearlessness. sent11: if the poleax does communicate whirler then that the pentastomid does not communicate whirler and communicates unattainableness hold. sent12: the poleax is not a kind of a fearlessness. sent13: if the pentastomid communicates whirler it is a kind of a fearlessness. sent14: the violator is a fearlessness. sent15: the fact that if the poleax does communicate whirler then the fact that the pentastomid is a fearlessness is not incorrect hold. sent16: the poleax is biotitic. sent17: the pentastomid does not splay infiniteness and is unimportant. sent18: the pentastomid does communicate violator. sent19: the pentastomid does not communicate unattainableness and is a fearlessness if the poleax communicate unattainableness.
void -> assump1: Let's assume that the pentastomid does communicate whirler.; sent13 & assump1 -> int1: the fact that the pentastomid is a fearlessness hold.;
$hypothesis$ = if the pentastomid communicates whirler then that the poleax does communicate unattainableness hold. ; $context$ = sent1: the pentastomid is a clatter. sent2: that the pentastomid does not communicate whirler and is a fearlessness is not false if the poleax communicate whirler. sent3: the bride is not a kind of a fearlessness. sent4: the fact that the poleax is abranchiate hold. sent5: if the pentastomid is a fearlessness the poleax is not a fearlessness. sent6: the pentastomid communicates unattainableness if the poleax is a fearlessness. sent7: the pentastomid is a kind of a whisper. sent8: the poleax is a fearlessness if the pentastomid does communicate unattainableness. sent9: the antinode is a fearlessness. sent10: the simperer is a fearlessness. sent11: if the poleax does communicate whirler then that the pentastomid does not communicate whirler and communicates unattainableness hold. sent12: the poleax is not a kind of a fearlessness. sent13: if the pentastomid communicates whirler it is a kind of a fearlessness. sent14: the violator is a fearlessness. sent15: the fact that if the poleax does communicate whirler then the fact that the pentastomid is a fearlessness is not incorrect hold. sent16: the poleax is biotitic. sent17: the pentastomid does not splay infiniteness and is unimportant. sent18: the pentastomid does communicate violator. sent19: the pentastomid does not communicate unattainableness and is a fearlessness if the poleax communicate unattainableness. ; $proof$ = 
void -> assump1: Let's assume that the pentastomid does communicate whirler.; sent13 & assump1 -> int1: the fact that the pentastomid is a fearlessness hold.; __UNKNOWN__