the vaudevillian is not a kind of a rim and does not headquarter.
sent1: the kingfisher is not autarchic. sent2: the switchboard is autarchic. sent3: the stabilizer is not a kind of a blaring if it is a Nuffield. sent4: the stabilizer is not autarchic and it is not a blaring if it is a Nuffield. sent5: something is not autarchic if it is a kind of a thiobacillus. sent6: the vaudevillian is autarchic if the stabilizer is non-autarchic thing that is a kind of a blaring. sent7: the vaudevillian is not a rim. sent8: the notochord does scroll. sent9: if the stabilizer is not autarchic and it is not a blaring that the vaudevillian is autarchic hold. sent10: the vaudevillian is a Nuffield. sent11: the fact that something is a kind of a two-piece but it is not nonwashable does not hold if it scrolls. sent12: if there exists something such that the fact that it is a two-piece and is not nonwashable is not correct the cutout is a Nuffield. sent13: the stabilizer does not headquarter and is not a rim if it is not autarchic. sent14: if the stabilizer is a thiobacillus the fact that the vaudevillian is not a rim and does not headquarter is incorrect. sent15: the stabilizer is a kind of non-autarchic thing that is not a thiobacillus if it is a blaring. sent16: the stabilizer is a kind of a Nuffield. sent17: if that the stabilizer is not a Nuffield is true then it does not headquarter. sent18: the stabilizer is not a kind of a blaring and is not an embassy. sent19: the fact that the vaudevillian is not an arms if there is something such that that it is a kind of a thiobacillus that is autarchic is not right is true. sent20: if something is autarchic the fact that it is both not a thiobacillus and a blaring is false. sent21: the stabilizer is not a thiobacillus. sent22: the fact that the stabilizer is a thiobacillus and is autarchic is false.
sent5 -> int1: the vaudevillian is not autarchic if it is a thiobacillus.; void -> assump1: Let's assume that the vaudevillian is a thiobacillus.; int1 & assump1 -> int2: the vaudevillian is not autarchic.; sent4 & sent16 -> int3: the stabilizer is not autarchic and is not a kind of a blaring.; sent9 & int3 -> int4: the vaudevillian is autarchic.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the vaudevillian is not a thiobacillus.;
the fact that the vaudevillian is not a rim and does not headquarter is false.
sent20 -> int7: the fact that the cutout is not a thiobacillus and is a kind of a blaring is not correct if it is autarchic.; sent11 -> int8: if that the notochord is not a scroll is false then the fact that it is not non-two-piece and is not nonwashable is not true.; int8 & sent8 -> int9: that the notochord is a two-piece but it is not nonwashable is not right.; int9 -> int10: there is something such that the fact that it is a kind of two-piece thing that is not nonwashable does not hold.; int10 & sent12 -> int11: the cutout is a kind of a Nuffield.;
$hypothesis$ = the vaudevillian is not a kind of a rim and does not headquarter. ; $context$ = sent1: the kingfisher is not autarchic. sent2: the switchboard is autarchic. sent3: the stabilizer is not a kind of a blaring if it is a Nuffield. sent4: the stabilizer is not autarchic and it is not a blaring if it is a Nuffield. sent5: something is not autarchic if it is a kind of a thiobacillus. sent6: the vaudevillian is autarchic if the stabilizer is non-autarchic thing that is a kind of a blaring. sent7: the vaudevillian is not a rim. sent8: the notochord does scroll. sent9: if the stabilizer is not autarchic and it is not a blaring that the vaudevillian is autarchic hold. sent10: the vaudevillian is a Nuffield. sent11: the fact that something is a kind of a two-piece but it is not nonwashable does not hold if it scrolls. sent12: if there exists something such that the fact that it is a two-piece and is not nonwashable is not correct the cutout is a Nuffield. sent13: the stabilizer does not headquarter and is not a rim if it is not autarchic. sent14: if the stabilizer is a thiobacillus the fact that the vaudevillian is not a rim and does not headquarter is incorrect. sent15: the stabilizer is a kind of non-autarchic thing that is not a thiobacillus if it is a blaring. sent16: the stabilizer is a kind of a Nuffield. sent17: if that the stabilizer is not a Nuffield is true then it does not headquarter. sent18: the stabilizer is not a kind of a blaring and is not an embassy. sent19: the fact that the vaudevillian is not an arms if there is something such that that it is a kind of a thiobacillus that is autarchic is not right is true. sent20: if something is autarchic the fact that it is both not a thiobacillus and a blaring is false. sent21: the stabilizer is not a thiobacillus. sent22: the fact that the stabilizer is a thiobacillus and is autarchic is false. ; $proof$ = 
sent5 -> int1: the vaudevillian is not autarchic if it is a thiobacillus.; void -> assump1: Let's assume that the vaudevillian is a thiobacillus.; int1 & assump1 -> int2: the vaudevillian is not autarchic.; sent4 & sent16 -> int3: the stabilizer is not autarchic and is not a kind of a blaring.; sent9 & int3 -> int4: the vaudevillian is autarchic.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the vaudevillian is not a thiobacillus.; __UNKNOWN__