that the Father is implicational and/or an inflection is false.
sent1: everything is not an inflection. sent2: if the rhabdovirus is not an inflection that the Father is implicational or it is an inflection or both is not correct. sent3: that the rhabdovirus does spiel burning or it is a kind of a Serbian or both is not true. sent4: if the rhabdovirus is not implicational then that the fact that that either the Father is an inflection or it is implicational or both hold is not right is not incorrect. sent5: everything is not a Cnidaria. sent6: the gendarme is not an inflection.
sent1 -> int1: the rhabdovirus is not a kind of an inflection.; sent2 & int1 -> hypothesis;
$hypothesis$ = that the Father is implicational and/or an inflection is false. ; $context$ = sent1: everything is not an inflection. sent2: if the rhabdovirus is not an inflection that the Father is implicational or it is an inflection or both is not correct. sent3: that the rhabdovirus does spiel burning or it is a kind of a Serbian or both is not true. sent4: if the rhabdovirus is not implicational then that the fact that that either the Father is an inflection or it is implicational or both hold is not right is not incorrect. sent5: everything is not a Cnidaria. sent6: the gendarme is not an inflection. ; $proof$ = 
sent1 -> int1: the rhabdovirus is not a kind of an inflection.; sent2 & int1 -> hypothesis; __PROVED__