the antapex does not transfer truss.
sent1: the leash is not a Cryptobranchus if the vitrification is a kind of a Ruritanian that is authorial. sent2: if the pederasty is a jam then the vitrification is a Ruritanian. sent3: the vitrification is authorial. sent4: the pederasty is a jam. sent5: that the antapex is both not a Cryptobranchus and not a damascene is not wrong if the leash is not a kind of a Cryptobranchus. sent6: if something that is not a Cryptobranchus is not a damascene then it does not transfer truss.
sent2 & sent4 -> int1: the vitrification is Ruritanian.; int1 & sent3 -> int2: the vitrification is a kind of a Ruritanian and it is authorial.; int2 & sent1 -> int3: the leash is not a Cryptobranchus.; int3 & sent5 -> int4: the antapex is not a Cryptobranchus and it is not a damascene.; sent6 -> int5: the antapex does not transfer truss if it is not a Cryptobranchus and it is not damascene.; int4 & int5 -> hypothesis;
$hypothesis$ = the antapex does not transfer truss. ; $context$ = sent1: the leash is not a Cryptobranchus if the vitrification is a kind of a Ruritanian that is authorial. sent2: if the pederasty is a jam then the vitrification is a Ruritanian. sent3: the vitrification is authorial. sent4: the pederasty is a jam. sent5: that the antapex is both not a Cryptobranchus and not a damascene is not wrong if the leash is not a kind of a Cryptobranchus. sent6: if something that is not a Cryptobranchus is not a damascene then it does not transfer truss. ; $proof$ = 
sent2 & sent4 -> int1: the vitrification is Ruritanian.; int1 & sent3 -> int2: the vitrification is a kind of a Ruritanian and it is authorial.; int2 & sent1 -> int3: the leash is not a Cryptobranchus.; int3 & sent5 -> int4: the antapex is not a Cryptobranchus and it is not a damascene.; sent6 -> int5: the antapex does not transfer truss if it is not a Cryptobranchus and it is not damascene.; int4 & int5 -> hypothesis; __PROVED__