the Carthaginian does geminate casuistry.
sent1: the Carthaginian does not geminate casuistry if the litchi geminate casuistry and is a Scottie. sent2: the litchi does geminate casuistry if it is inhalant. sent3: the Shakers is a kind of an inhalant if that the fact that the litchi does glare knuckleball but it is not a basswood is wrong is not false. sent4: that either the vibrator is not a hinge or it is not a kind of a NASDAQ or both is not right. sent5: a Faunus geminates casuistry. sent6: if something is not a NASDAQ then the fact that it is not a Faunus and it does geminate casuistry is not correct. sent7: the fact that the litchi does glare knuckleball and is not a kind of a basswood is false if the fact that the Carthaginian is not a Scottie is true. sent8: if the Shakers is not a kind of a hinge then the litchi is a Faunus and it is a NASDAQ. sent9: if there is something such that the fact that it is an inhalant and not a Scottie does not hold then the Carthaginian is not a basswood. sent10: if there exists something such that that it is not a Faunus and it geminates casuistry is wrong the litchi is a Faunus. sent11: if something is a kind of a Scottie then it is a Faunus. sent12: if there is something such that the fact that it is not a hinge and/or it is not a NASDAQ is false the Shakers is not an inhalant. sent13: the litchi is an inhalant if it is a kind of a Faunus.
void -> assump1: Let's assume that the Carthaginian is not a Scottie.; sent7 & assump1 -> int1: the fact that the litchi does glare knuckleball and is not a basswood is not true.; int1 & sent3 -> int2: the Shakers is an inhalant.; sent4 -> int3: there exists something such that that it does not hinge and/or it is not a NASDAQ does not hold.; int3 & sent12 -> int4: the Shakers is not a kind of an inhalant.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Carthaginian is a Scottie.; sent11 -> int7: if that the Carthaginian is a Scottie is correct it is a Faunus.; int6 & int7 -> int8: the Carthaginian is a Faunus.; sent5 -> int9: the Carthaginian does geminate casuistry if it is a Faunus.; int8 & int9 -> hypothesis;
that the Carthaginian is not a basswood is right.
sent6 -> int10: if the vibrator is not a kind of a NASDAQ that it is not a Faunus and geminates casuistry is incorrect.;
$hypothesis$ = the Carthaginian does geminate casuistry. ; $context$ = sent1: the Carthaginian does not geminate casuistry if the litchi geminate casuistry and is a Scottie. sent2: the litchi does geminate casuistry if it is inhalant. sent3: the Shakers is a kind of an inhalant if that the fact that the litchi does glare knuckleball but it is not a basswood is wrong is not false. sent4: that either the vibrator is not a hinge or it is not a kind of a NASDAQ or both is not right. sent5: a Faunus geminates casuistry. sent6: if something is not a NASDAQ then the fact that it is not a Faunus and it does geminate casuistry is not correct. sent7: the fact that the litchi does glare knuckleball and is not a kind of a basswood is false if the fact that the Carthaginian is not a Scottie is true. sent8: if the Shakers is not a kind of a hinge then the litchi is a Faunus and it is a NASDAQ. sent9: if there is something such that the fact that it is an inhalant and not a Scottie does not hold then the Carthaginian is not a basswood. sent10: if there exists something such that that it is not a Faunus and it geminates casuistry is wrong the litchi is a Faunus. sent11: if something is a kind of a Scottie then it is a Faunus. sent12: if there is something such that the fact that it is not a hinge and/or it is not a NASDAQ is false the Shakers is not an inhalant. sent13: the litchi is an inhalant if it is a kind of a Faunus. ; $proof$ = 
void -> assump1: Let's assume that the Carthaginian is not a Scottie.; sent7 & assump1 -> int1: the fact that the litchi does glare knuckleball and is not a basswood is not true.; int1 & sent3 -> int2: the Shakers is an inhalant.; sent4 -> int3: there exists something such that that it does not hinge and/or it is not a NASDAQ does not hold.; int3 & sent12 -> int4: the Shakers is not a kind of an inhalant.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Carthaginian is a Scottie.; sent11 -> int7: if that the Carthaginian is a Scottie is correct it is a Faunus.; int6 & int7 -> int8: the Carthaginian is a Faunus.; sent5 -> int9: the Carthaginian does geminate casuistry if it is a Faunus.; int8 & int9 -> hypothesis; __PROVED__