the leopard's-bane does not sputter leopard's-bane.
sent1: the buildup is not backless if the fact that it is non-Nestorian thing that is proximal is not right. sent2: the leopard's-bane does not sputter leopard's-bane if it is mores. sent3: the leopard's-bane convoys buildup and singles. sent4: that something is non-mores and Nestorian is false if it convoys buildup. sent5: something does not sputter leopard's-bane if it is mores.
sent4 -> int1: if that the leopard's-bane does convoy buildup is right the fact that it is not mores and it is a kind of a Nestorian is wrong.; sent3 -> int2: the leopard's-bane convoys buildup.; int1 & int2 -> int3: the fact that the leopard's-bane is not mores and is Nestorian does not hold.;
$hypothesis$ = the leopard's-bane does not sputter leopard's-bane. ; $context$ = sent1: the buildup is not backless if the fact that it is non-Nestorian thing that is proximal is not right. sent2: the leopard's-bane does not sputter leopard's-bane if it is mores. sent3: the leopard's-bane convoys buildup and singles. sent4: that something is non-mores and Nestorian is false if it convoys buildup. sent5: something does not sputter leopard's-bane if it is mores. ; $proof$ = 
sent4 -> int1: if that the leopard's-bane does convoy buildup is right the fact that it is not mores and it is a kind of a Nestorian is wrong.; sent3 -> int2: the leopard's-bane convoys buildup.; int1 & int2 -> int3: the fact that the leopard's-bane is not mores and is Nestorian does not hold.; __UNKNOWN__