that there is something such that it is not top does not hold.
sent1: if something pins Hasidism or it is a kind of an interceptor or both it is not a lithomancer. sent2: if the branchlet is a lithomancer then it is not a kind of a top. sent3: there exists something such that it is not non-top. sent4: the ilang-ilang is not a lithomancer. sent5: if the ilang-ilang iterates the branchlet is loud. sent6: the aerophile is not a lithomancer. sent7: the ilang-ilang iterates or it is dynamics or both. sent8: if the branchlet is a dynamics then the ilang-ilang is a top. sent9: if the ilang-ilang is a kind of a dynamics the branchlet is loud. sent10: if something is a lithomancer the fact that it is not top is true. sent11: the ilang-ilang is a Jagger. sent12: if something is a lithomancer or it is loud or both then it is not a top.
sent7 & sent5 & sent9 -> int1: that the branchlet is loud is true.; int1 -> int2: the branchlet is a lithomancer and/or it is loud.; sent12 -> int3: if the branchlet is either a lithomancer or loud or both then it does not top.; int2 & int3 -> int4: the branchlet is not a kind of a top.; int4 -> hypothesis;
if the glutamine pins Hasidism and/or it is a kind of an interceptor then it is not a lithomancer.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that it is not top does not hold. ; $context$ = sent1: if something pins Hasidism or it is a kind of an interceptor or both it is not a lithomancer. sent2: if the branchlet is a lithomancer then it is not a kind of a top. sent3: there exists something such that it is not non-top. sent4: the ilang-ilang is not a lithomancer. sent5: if the ilang-ilang iterates the branchlet is loud. sent6: the aerophile is not a lithomancer. sent7: the ilang-ilang iterates or it is dynamics or both. sent8: if the branchlet is a dynamics then the ilang-ilang is a top. sent9: if the ilang-ilang is a kind of a dynamics the branchlet is loud. sent10: if something is a lithomancer the fact that it is not top is true. sent11: the ilang-ilang is a Jagger. sent12: if something is a lithomancer or it is loud or both then it is not a top. ; $proof$ = 
sent7 & sent5 & sent9 -> int1: that the branchlet is loud is true.; int1 -> int2: the branchlet is a lithomancer and/or it is loud.; sent12 -> int3: if the branchlet is either a lithomancer or loud or both then it does not top.; int2 & int3 -> int4: the branchlet is not a kind of a top.; int4 -> hypothesis; __DISPROVED__