「この中国人消費者は媚び諂うかそれは身動ぎしないかあるいは両方ともだ」ということは偽だ
fact1: この中国人消費者は自然らしい fact2: この中国人消費者は媚び諂うか身動ぎするかどちらもである fact3: この中国人消費者はデアである fact4: この神水は媚び諂う fact5: この中国人消費者が脊椎過敏症であるなら自然らしいかもしくはルームミラーであるかどちらもである fact6: この中国人消費者は身動ぎするかもしくは噛み切らないかあるいはどちらもである fact7: もしも「何かは運び易くない一方で手塩だ」ということは成り立たないとすれば晒され易くない fact8: もしもこの中国人消費者が御強いならそれは自然らしいかもしくはそれは破滅しないかもしくは両方ともだ fact9: この中国人消費者は解任するかあるいはそれは掻き上げるかあるいはどちらもだ fact10: 晒され易くないものは身動ぎするしおまけに自然らしい fact11: あの檜内川沿いは犯し難いかまたは大転換する fact12: この中国人消費者が店員空間だとしたらそれはとろ臭いかもしくは御偉くないかあるいは両方ともである fact13: この中国人消費者が自然らしいとすればそれは媚び諂うかあるいは身動ぎしないかもしくはどちらもである
fact13 & fact1 -> hypothesis;
fact13 & fact1 -> hypothesis;
その聖書は身動ぎする
fact14 -> int1: もしその聖書が晒され易くないとすれば身動ぎするしおまけに自然らしい; fact15 -> int2: 仮に「その聖書は運び易くないけれどそれは手塩だ」ということは間違いであるならばそれは晒され易くない;
$facts$ = fact1: この中国人消費者は自然らしい fact2: この中国人消費者は媚び諂うか身動ぎするかどちらもである fact3: この中国人消費者はデアである fact4: この神水は媚び諂う fact5: この中国人消費者が脊椎過敏症であるなら自然らしいかもしくはルームミラーであるかどちらもである fact6: この中国人消費者は身動ぎするかもしくは噛み切らないかあるいはどちらもである fact7: もしも「何かは運び易くない一方で手塩だ」ということは成り立たないとすれば晒され易くない fact8: もしもこの中国人消費者が御強いならそれは自然らしいかもしくはそれは破滅しないかもしくは両方ともだ fact9: この中国人消費者は解任するかあるいはそれは掻き上げるかあるいはどちらもだ fact10: 晒され易くないものは身動ぎするしおまけに自然らしい fact11: あの檜内川沿いは犯し難いかまたは大転換する fact12: この中国人消費者が店員空間だとしたらそれはとろ臭いかもしくは御偉くないかあるいは両方ともである fact13: この中国人消費者が自然らしいとすればそれは媚び諂うかあるいは身動ぎしないかもしくはどちらもである ; $hypothesis$ = 「この中国人消費者は媚び諂うかそれは身動ぎしないかあるいは両方ともだ」ということは偽だ ; $proof$ = 
fact13 & fact1 -> hypothesis; __DISPROVED__
事実1: この中国人消費者は自然らしい
事実2: この中国人消費者は媚び諂うか身動ぎするかどちらもである
事実3: この中国人消費者はデアである
事実4: この神水は媚び諂う
事実5: この中国人消費者が脊椎過敏症であるなら自然らしいかもしくはルームミラーであるかどちらもである
事実6: この中国人消費者は身動ぎするかもしくは噛み切らないかあるいはどちらもである
事実7: もしも「何かは運び易くない一方で手塩だ」ということは成り立たないとすれば晒され易くない
事実8: もしもこの中国人消費者が御強いならそれは自然らしいかもしくはそれは破滅しないかもしくは両方ともだ
事実9: この中国人消費者は解任するかあるいはそれは掻き上げるかあるいはどちらもだ
事実10: 晒され易くないものは身動ぎするしおまけに自然らしい
事実11: あの檜内川沿いは犯し難いかまたは大転換する
事実12: この中国人消費者が店員空間だとしたらそれはとろ臭いかもしくは御偉くないかあるいは両方ともである
事実13: この中国人消費者が自然らしいとすればそれは媚び諂うかあるいは身動ぎしないかもしくはどちらもである

仮説: 「この中国人消費者は媚び諂うかそれは身動ぎしないかあるいは両方ともだ」ということは偽だ
1. 事実13と事実1から、仮説が否定される

よって、仮説が否定されました。