the artillery is not bidirectional and is not a partridge.
sent1: that the trigger is not a Anthus is true. sent2: the artillery is both not bidirectional and not a partridge if the trigger is bidirectional. sent3: if that something is not awnless or is undescriptive or both does not hold it is bidirectional.
sent3 -> int1: if the fact that either the trigger is not awnless or it is undescriptive or both is not correct it is bidirectional.;
$hypothesis$ = the artillery is not bidirectional and is not a partridge. ; $context$ = sent1: that the trigger is not a Anthus is true. sent2: the artillery is both not bidirectional and not a partridge if the trigger is bidirectional. sent3: if that something is not awnless or is undescriptive or both does not hold it is bidirectional. ; $proof$ = 
sent3 -> int1: if the fact that either the trigger is not awnless or it is undescriptive or both is not correct it is bidirectional.; __UNKNOWN__