the Bordeaux is not spiritualistic but it does invoke flop if the disaccharide is not a bichromate.
sent1: something is a kind of a bichromate if the fact that it is a dekaliter is true. sent2: that the disaccharide is a kind of a dekaliter is not wrong if it invokes flop. sent3: if the disaccharide is not a kind of a bichromate the Bordeaux does invoke flop. sent4: if the disaccharide does not invoke flop the Bordeaux is a kind of spiritualistic thing that does invoke flop. sent5: if the disaccharide does not invoke flop the Bordeaux is not spiritualistic but it does invoke flop. sent6: if something is not spiritualistic then it is a dekaliter and is not a bichromate.
void -> assump1: Let's assume that the disaccharide invokes flop.; sent2 & assump1 -> int1: the disaccharide is a kind of a dekaliter.; sent1 -> int2: if the disaccharide is a dekaliter then it is a bichromate.; int1 & int2 -> int3: the disaccharide is a bichromate.; void -> assump2: Let's assume that the disaccharide is not a bichromate.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the disaccharide does not invoke flop.; int5 & sent5 -> int6: the Bordeaux is not spiritualistic and invokes flop.; [assump2] & int6 -> hypothesis;
the priest does not invoke flop.
sent6 -> int7: if the disaccharide is not spiritualistic it is a dekaliter and it is not a bichromate.;
$hypothesis$ = the Bordeaux is not spiritualistic but it does invoke flop if the disaccharide is not a bichromate. ; $context$ = sent1: something is a kind of a bichromate if the fact that it is a dekaliter is true. sent2: that the disaccharide is a kind of a dekaliter is not wrong if it invokes flop. sent3: if the disaccharide is not a kind of a bichromate the Bordeaux does invoke flop. sent4: if the disaccharide does not invoke flop the Bordeaux is a kind of spiritualistic thing that does invoke flop. sent5: if the disaccharide does not invoke flop the Bordeaux is not spiritualistic but it does invoke flop. sent6: if something is not spiritualistic then it is a dekaliter and is not a bichromate. ; $proof$ = 
void -> assump1: Let's assume that the disaccharide invokes flop.; sent2 & assump1 -> int1: the disaccharide is a kind of a dekaliter.; sent1 -> int2: if the disaccharide is a dekaliter then it is a bichromate.; int1 & int2 -> int3: the disaccharide is a bichromate.; void -> assump2: Let's assume that the disaccharide is not a bichromate.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the disaccharide does not invoke flop.; int5 & sent5 -> int6: the Bordeaux is not spiritualistic and invokes flop.; [assump2] & int6 -> hypothesis; __PROVED__