the tartan is Carthusian and is a kind of a naboom.
sent1: the tartan is not lumbosacral if that it is a naboom and is a kind of a Carthusian is not incorrect. sent2: if there is something such that it is a leitmotiv then the storm is a props that confederates disruption. sent3: the jade props if something that is not a kind of a punkie is not collagenous. sent4: the tartan is a deadhead and it does filter. sent5: if the jade is a kind of a props and it is a naboom then it is not lumbosacral. sent6: there is something such that it is a dorsiflexion. sent7: there exists something such that it is non-collagenous. sent8: the shiksa is not a kind of a naboom. sent9: something is not a punkie but non-collagenous. sent10: the jade is not collagenous. sent11: the jade does accord toadfish. sent12: there is something such that it is both not a props and non-lumbosacral. sent13: if something is not a kind of a naboom and it is not a props the jade is Carthusian. sent14: if something is a dorsiflexion then the jade does accord toadfish. sent15: the jade is not a kind of a dorsiflexion. sent16: if something that is not a punkie is collagenous then the jade is a props. sent17: the fact that the amateur is not lumbosacral and not a Carthusian is false. sent18: the fact that the tartan is Carthusian a naboom is not right if the jade is not a naboom. sent19: there is something such that it does prop and does not accord toadfish. sent20: if the jade is a kind of a naboom and does accord toadfish then it is non-Carthusian. sent21: the tartan is a kind of Carthusian thing that accords toadfish if something is a props. sent22: the jade does accord toadfish and it is lumbosacral if there exists something such that it is a kind of a dorsiflexion.
sent9 & sent3 -> int1: the jade props.; void -> assump1: Let's assume that the jade is a naboom.; int1 & assump1 -> int2: the jade is both a props and a naboom.; int2 & sent5 -> int3: the jade is not lumbosacral.; sent6 & sent22 -> int4: the jade accords toadfish and it is lumbosacral.; int4 -> int5: the jade is lumbosacral.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the jade is not a naboom.; int7 & sent18 -> hypothesis;
the tartan is a kind of Carthusian a naboom.
sent17 -> int8: there is something such that the fact that it is non-lumbosacral and it is non-Carthusian does not hold.;
$hypothesis$ = the tartan is Carthusian and is a kind of a naboom. ; $context$ = sent1: the tartan is not lumbosacral if that it is a naboom and is a kind of a Carthusian is not incorrect. sent2: if there is something such that it is a leitmotiv then the storm is a props that confederates disruption. sent3: the jade props if something that is not a kind of a punkie is not collagenous. sent4: the tartan is a deadhead and it does filter. sent5: if the jade is a kind of a props and it is a naboom then it is not lumbosacral. sent6: there is something such that it is a dorsiflexion. sent7: there exists something such that it is non-collagenous. sent8: the shiksa is not a kind of a naboom. sent9: something is not a punkie but non-collagenous. sent10: the jade is not collagenous. sent11: the jade does accord toadfish. sent12: there is something such that it is both not a props and non-lumbosacral. sent13: if something is not a kind of a naboom and it is not a props the jade is Carthusian. sent14: if something is a dorsiflexion then the jade does accord toadfish. sent15: the jade is not a kind of a dorsiflexion. sent16: if something that is not a punkie is collagenous then the jade is a props. sent17: the fact that the amateur is not lumbosacral and not a Carthusian is false. sent18: the fact that the tartan is Carthusian a naboom is not right if the jade is not a naboom. sent19: there is something such that it does prop and does not accord toadfish. sent20: if the jade is a kind of a naboom and does accord toadfish then it is non-Carthusian. sent21: the tartan is a kind of Carthusian thing that accords toadfish if something is a props. sent22: the jade does accord toadfish and it is lumbosacral if there exists something such that it is a kind of a dorsiflexion. ; $proof$ = 
sent9 & sent3 -> int1: the jade props.; void -> assump1: Let's assume that the jade is a naboom.; int1 & assump1 -> int2: the jade is both a props and a naboom.; int2 & sent5 -> int3: the jade is not lumbosacral.; sent6 & sent22 -> int4: the jade accords toadfish and it is lumbosacral.; int4 -> int5: the jade is lumbosacral.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the jade is not a naboom.; int7 & sent18 -> hypothesis; __DISPROVED__