that the Francisella is joyful if the Francisella does commutate bartlett is not true.
sent1: the spic does not commutate bartlett. sent2: if the Francisella does not consummate Logrono it is not prodromal and it is joyful. sent3: something is a saxhorn if it is not joyful. sent4: something does not commutate bartlett but it is a kind of a saxhorn if it is joyful. sent5: if something is not a kind of a jam it is not a Laocoon and it is biological. sent6: the Francisella is a saxhorn if it is not joyful. sent7: the Francisella is a kind of a jib. sent8: the Francisella does dull if it is a favus. sent9: the Francisella does not commutate bartlett and is a kind of a saxhorn if it is joyful. sent10: the Francisella does commutate bartlett and is a saxhorn if it is not joyful. sent11: if something is not joyful then it does not commutate bartlett and it is a saxhorn. sent12: the necklet is a saxhorn. sent13: the Francisella is a saxhorn. sent14: something does commutate bartlett and is a saxhorn if it is not joyful. sent15: the Francisella is not a kind of a nosh but it is a kind of a Laocoon.
sent11 -> int1: if the Francisella is non-joyful it does not commutate bartlett and it is a saxhorn.; void -> assump2: Let's assume that the Francisella is not joyful.; int1 & assump2 -> int2: the Francisella does not commutate bartlett but it is a kind of a saxhorn.; int2 -> int3: the fact that the Francisella does not commutate bartlett hold.; void -> assump1: Let's assume that the Francisella does commutate bartlett.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Francisella is joyful.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the Francisella is joyful if the Francisella does commutate bartlett is not true. ; $context$ = sent1: the spic does not commutate bartlett. sent2: if the Francisella does not consummate Logrono it is not prodromal and it is joyful. sent3: something is a saxhorn if it is not joyful. sent4: something does not commutate bartlett but it is a kind of a saxhorn if it is joyful. sent5: if something is not a kind of a jam it is not a Laocoon and it is biological. sent6: the Francisella is a saxhorn if it is not joyful. sent7: the Francisella is a kind of a jib. sent8: the Francisella does dull if it is a favus. sent9: the Francisella does not commutate bartlett and is a kind of a saxhorn if it is joyful. sent10: the Francisella does commutate bartlett and is a saxhorn if it is not joyful. sent11: if something is not joyful then it does not commutate bartlett and it is a saxhorn. sent12: the necklet is a saxhorn. sent13: the Francisella is a saxhorn. sent14: something does commutate bartlett and is a saxhorn if it is not joyful. sent15: the Francisella is not a kind of a nosh but it is a kind of a Laocoon. ; $proof$ = 
sent11 -> int1: if the Francisella is non-joyful it does not commutate bartlett and it is a saxhorn.; void -> assump2: Let's assume that the Francisella is not joyful.; int1 & assump2 -> int2: the Francisella does not commutate bartlett but it is a kind of a saxhorn.; int2 -> int3: the fact that the Francisella does not commutate bartlett hold.; void -> assump1: Let's assume that the Francisella does commutate bartlett.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Francisella is joyful.; [assump1] & int5 -> hypothesis; __DISPROVED__