the fact that the schnorrer does not mint lecanopteris is not false.
sent1: the Invar is a kind of a xeranthemum. sent2: that the Invar is not organizational but it is a bellbird is not true if it is not pragmatics. sent3: if a xeranthemum is a formalism it is not pragmatics. sent4: if the fact that the Invar is not organizational and is a bellbird is not correct the scofflaw is not a capulin. sent5: that either something is a burial or it is not a Jansenist or both is not true if it is not a formalism. sent6: either the Invar is a burial or it is not a kind of a Jansenist or both.
sent5 -> int1: if the Invar is not a kind of a formalism that it either is a kind of a burial or is not a kind of a Jansenist or both does not hold.; void -> assump1: Let's assume that the Invar is not a formalism.; int1 & assump1 -> int2: that the Invar either is a burial or is not a Jansenist or both does not hold.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Invar is a kind of a formalism.; int4 & sent1 -> int5: the Invar is a xeranthemum and it is a formalism.; sent3 -> int6: if the Invar is a xeranthemum and it is a kind of a formalism then it is not a kind of a pragmatics.; int5 & int6 -> int7: the Invar is not a pragmatics.; int7 & sent2 -> int8: that the Invar is not organizational but it is a bellbird is not correct.; int8 & sent4 -> int9: the scofflaw is not a capulin.;
$hypothesis$ = the fact that the schnorrer does not mint lecanopteris is not false. ; $context$ = sent1: the Invar is a kind of a xeranthemum. sent2: that the Invar is not organizational but it is a bellbird is not true if it is not pragmatics. sent3: if a xeranthemum is a formalism it is not pragmatics. sent4: if the fact that the Invar is not organizational and is a bellbird is not correct the scofflaw is not a capulin. sent5: that either something is a burial or it is not a Jansenist or both is not true if it is not a formalism. sent6: either the Invar is a burial or it is not a kind of a Jansenist or both. ; $proof$ = 
sent5 -> int1: if the Invar is not a kind of a formalism that it either is a kind of a burial or is not a kind of a Jansenist or both does not hold.; void -> assump1: Let's assume that the Invar is not a formalism.; int1 & assump1 -> int2: that the Invar either is a burial or is not a Jansenist or both does not hold.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Invar is a kind of a formalism.; int4 & sent1 -> int5: the Invar is a xeranthemum and it is a formalism.; sent3 -> int6: if the Invar is a xeranthemum and it is a kind of a formalism then it is not a kind of a pragmatics.; int5 & int6 -> int7: the Invar is not a pragmatics.; int7 & sent2 -> int8: that the Invar is not organizational but it is a bellbird is not correct.; int8 & sent4 -> int9: the scofflaw is not a capulin.; __UNKNOWN__