the fact that the chain is not non-Levitical but a Melkite is not true.
sent1: the moonlighter is not Levitical. sent2: the chain is not a Kivu and it is not vascular if it does not blind Betelgeuse. sent3: the homospory is not vascular and does not blind Docetism. sent4: The Betelgeuse does not blind chain. sent5: the chain does not blind Betelgeuse. sent6: if the chain is both a Kivu and non-vascular it is Levitical. sent7: if the Simeon is not a kind of a dishwasher but it is a kind of a agglutinogen then it is not a kibe. sent8: if the chain is not a Kivu but it is vascular the fact that it is Levitical hold. sent9: if something that is not a kind of a Kivu is vascular it is Levitical. sent10: if the fact that the lead does outride and it blinds Betelgeuse is incorrect then it does not harden autoclave. sent11: the wireworm does not vouch and is not a delayer if there is something such that it is not a kibe. sent12: if a Kivu is not vascular then it is Levitical. sent13: the direction is a fondness. sent14: if the chain is not vascular then it is both not a triad and not a fourpence. sent15: if something does harden autoclave then it is a Melkite. sent16: if the direction is a fondness then the Simeon is not a dishwasher but it is a agglutinogen. sent17: the autoclave is an assassin but it does not blind Betelgeuse. sent18: the chain hardens goldbeater if it is not Levitical and it does not restart interested. sent19: if that the homeroom is a Cancridae that does outride is not right the net does not outride. sent20: the homeroom is not a delayer if the wireworm does not vouch and it is not a delayer. sent21: something that is not a Kivu and not vascular is not Levitical. sent22: if something is not a delayer the fact that it is a kind of a Cancridae that outrides is false. sent23: the chain hardens homospory. sent24: the chain hardens autoclave but it does not outride. sent25: that the chain does not outride is not wrong. sent26: the chain does include fiver and it is a chariot.
sent21 -> int1: the chain is Levitical if it is not a Kivu and it is not vascular.; sent2 & sent5 -> int2: the chain is not a kind of a Kivu and is not vascular.; int1 & int2 -> int3: the chain is Levitical.; sent15 -> int4: if the chain hardens autoclave then it is a Melkite.; sent24 -> int5: the chain does harden autoclave.; int4 & int5 -> int6: the chain is a Melkite.; int3 & int6 -> hypothesis;
that the chain is Levitical and it is a Melkite is not true.
sent22 -> int7: if the homeroom is not a delayer the fact that it is a kind of a Cancridae and it outrides is false.; sent16 & sent13 -> int8: the Simeon is not a dishwasher but it is a agglutinogen.; sent7 & int8 -> int9: the Simeon is not a kibe.; int9 -> int10: there is something such that it is not a kibe.; int10 & sent11 -> int11: the wireworm does not vouch and it is not a delayer.; sent20 & int11 -> int12: the homeroom is not a delayer.; int7 & int12 -> int13: the fact that the homeroom is a kind of a Cancridae and does outride is not true.; sent19 & int13 -> int14: the net does not outride.; int14 -> int15: something does not outride.;
$hypothesis$ = the fact that the chain is not non-Levitical but a Melkite is not true. ; $context$ = sent1: the moonlighter is not Levitical. sent2: the chain is not a Kivu and it is not vascular if it does not blind Betelgeuse. sent3: the homospory is not vascular and does not blind Docetism. sent4: The Betelgeuse does not blind chain. sent5: the chain does not blind Betelgeuse. sent6: if the chain is both a Kivu and non-vascular it is Levitical. sent7: if the Simeon is not a kind of a dishwasher but it is a kind of a agglutinogen then it is not a kibe. sent8: if the chain is not a Kivu but it is vascular the fact that it is Levitical hold. sent9: if something that is not a kind of a Kivu is vascular it is Levitical. sent10: if the fact that the lead does outride and it blinds Betelgeuse is incorrect then it does not harden autoclave. sent11: the wireworm does not vouch and is not a delayer if there is something such that it is not a kibe. sent12: if a Kivu is not vascular then it is Levitical. sent13: the direction is a fondness. sent14: if the chain is not vascular then it is both not a triad and not a fourpence. sent15: if something does harden autoclave then it is a Melkite. sent16: if the direction is a fondness then the Simeon is not a dishwasher but it is a agglutinogen. sent17: the autoclave is an assassin but it does not blind Betelgeuse. sent18: the chain hardens goldbeater if it is not Levitical and it does not restart interested. sent19: if that the homeroom is a Cancridae that does outride is not right the net does not outride. sent20: the homeroom is not a delayer if the wireworm does not vouch and it is not a delayer. sent21: something that is not a Kivu and not vascular is not Levitical. sent22: if something is not a delayer the fact that it is a kind of a Cancridae that outrides is false. sent23: the chain hardens homospory. sent24: the chain hardens autoclave but it does not outride. sent25: that the chain does not outride is not wrong. sent26: the chain does include fiver and it is a chariot. ; $proof$ = 
sent21 -> int1: the chain is Levitical if it is not a Kivu and it is not vascular.; sent2 & sent5 -> int2: the chain is not a kind of a Kivu and is not vascular.; int1 & int2 -> int3: the chain is Levitical.; sent15 -> int4: if the chain hardens autoclave then it is a Melkite.; sent24 -> int5: the chain does harden autoclave.; int4 & int5 -> int6: the chain is a Melkite.; int3 & int6 -> hypothesis; __DISPROVED__