the fact that the Pygmy is washable and it crystallizes Dufy does not hold.
sent1: if the inclusion is not a public then it is not waxen or is not caffeinic or both. sent2: the fact that the crus is a Ecuador is not wrong if the ceratodus is not alphanumerics. sent3: everything is not a kind of a solitaire. sent4: if the crus is a Ecuador then the Pygmy is washable. sent5: something that is not a solitaire does weld tollbooth and does not shatter antimuon. sent6: if the inclusion is not waxen and/or is not caffeinic that the Pygmy crystallizes Dufy is correct. sent7: the fact that the antimuon welds tollbooth and does not shatter antimuon is not true if the operative is a memorization. sent8: if the ceratodus is alphanumerics the operative is a memorization. sent9: the inclusion is not a kind of a public.
void -> assump1: Let's assume that that the ceratodus is alphanumerics is true.; sent8 & assump1 -> int1: the operative is a memorization.; int1 & sent7 -> int2: that the antimuon does weld tollbooth and does not shatter antimuon is not right.; sent5 -> int3: the antimuon does weld tollbooth and does not shatter antimuon if it is not a solitaire.; sent3 -> int4: the antimuon is not a kind of a solitaire.; int3 & int4 -> int5: the antimuon welds tollbooth but it does not shatter antimuon.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the ceratodus is not alphanumerics.; int7 & sent2 -> int8: the crus is a Ecuador.; int8 & sent4 -> int9: the Pygmy is washable.; sent1 & sent9 -> int10: the inclusion is non-waxen or it is not caffeinic or both.; sent6 & int10 -> int11: that the Pygmy does crystallize Dufy is not incorrect.; int9 & int11 -> hypothesis;
$hypothesis$ = the fact that the Pygmy is washable and it crystallizes Dufy does not hold. ; $context$ = sent1: if the inclusion is not a public then it is not waxen or is not caffeinic or both. sent2: the fact that the crus is a Ecuador is not wrong if the ceratodus is not alphanumerics. sent3: everything is not a kind of a solitaire. sent4: if the crus is a Ecuador then the Pygmy is washable. sent5: something that is not a solitaire does weld tollbooth and does not shatter antimuon. sent6: if the inclusion is not waxen and/or is not caffeinic that the Pygmy crystallizes Dufy is correct. sent7: the fact that the antimuon welds tollbooth and does not shatter antimuon is not true if the operative is a memorization. sent8: if the ceratodus is alphanumerics the operative is a memorization. sent9: the inclusion is not a kind of a public. ; $proof$ = 
void -> assump1: Let's assume that that the ceratodus is alphanumerics is true.; sent8 & assump1 -> int1: the operative is a memorization.; int1 & sent7 -> int2: that the antimuon does weld tollbooth and does not shatter antimuon is not right.; sent5 -> int3: the antimuon does weld tollbooth and does not shatter antimuon if it is not a solitaire.; sent3 -> int4: the antimuon is not a kind of a solitaire.; int3 & int4 -> int5: the antimuon welds tollbooth but it does not shatter antimuon.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the ceratodus is not alphanumerics.; int7 & sent2 -> int8: the crus is a Ecuador.; int8 & sent4 -> int9: the Pygmy is washable.; sent1 & sent9 -> int10: the inclusion is non-waxen or it is not caffeinic or both.; sent6 & int10 -> int11: that the Pygmy does crystallize Dufy is not incorrect.; int9 & int11 -> hypothesis; __DISPROVED__