there exists something such that if it is not a kind of a savoir-faire it is a spleenwort and it is a kind of a meow.
sent1: if the caliph is not a savoir-faire the fact that the fetish does not measure Abadan and/or it is Swiss is not correct. sent2: something is a savoir-faire if it is a kind of a Monera. sent3: the caliph is not a kind of a Monera if the socket is a kind of a Monera and/or it is a spleenwort. sent4: if the caliph is not a savoir-faire and/or is a kind of a meow it is not a savoir-faire. sent5: the fetish is a spleenwort if it is adamantine. sent6: something is a Monera if the fact that it is not a lactalbumin and/or it is a kind of a antipope is not true. sent7: the fetish is adamantine and it measures Abadan. sent8: the fetish is not a antipope. sent9: if that the finery is not a maltha hold the socket is a spleenwort and it is adamantine.
sent6 -> int1: the fetish is a Monera if the fact that it is not a lactalbumin and/or is a antipope is wrong.; void -> assump1: Let's assume that that the fetish is not a kind of a lactalbumin and/or is a kind of a antipope is not right.; int1 & assump1 -> int2: the fetish is a kind of a Monera.; sent2 -> int3: if the fetish is a Monera then it is a savoir-faire.; int2 & int3 -> int4: the fetish is a savoir-faire.; void -> assump2: Let's assume that the fetish is not a kind of a savoir-faire.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fetish is not a lactalbumin and/or is a antipope.; sent7 -> int7: the fetish is adamantine.; sent5 & int7 -> int8: the fetish is a kind of a spleenwort.;
the fact that the fetish does not measure Abadan and/or it is Swiss is false.
$hypothesis$ = there exists something such that if it is not a kind of a savoir-faire it is a spleenwort and it is a kind of a meow. ; $context$ = sent1: if the caliph is not a savoir-faire the fact that the fetish does not measure Abadan and/or it is Swiss is not correct. sent2: something is a savoir-faire if it is a kind of a Monera. sent3: the caliph is not a kind of a Monera if the socket is a kind of a Monera and/or it is a spleenwort. sent4: if the caliph is not a savoir-faire and/or is a kind of a meow it is not a savoir-faire. sent5: the fetish is a spleenwort if it is adamantine. sent6: something is a Monera if the fact that it is not a lactalbumin and/or it is a kind of a antipope is not true. sent7: the fetish is adamantine and it measures Abadan. sent8: the fetish is not a antipope. sent9: if that the finery is not a maltha hold the socket is a spleenwort and it is adamantine. ; $proof$ = 
sent6 -> int1: the fetish is a Monera if the fact that it is not a lactalbumin and/or is a antipope is wrong.; void -> assump1: Let's assume that that the fetish is not a kind of a lactalbumin and/or is a kind of a antipope is not right.; int1 & assump1 -> int2: the fetish is a kind of a Monera.; sent2 -> int3: if the fetish is a Monera then it is a savoir-faire.; int2 & int3 -> int4: the fetish is a savoir-faire.; void -> assump2: Let's assume that the fetish is not a kind of a savoir-faire.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fetish is not a lactalbumin and/or is a antipope.; sent7 -> int7: the fetish is adamantine.; sent5 & int7 -> int8: the fetish is a kind of a spleenwort.; __UNKNOWN__