「「流行しないかあるいは選択要因であるかあるいはどちらもである」ものはある」ということは偽だ
fact1: 受け難くないものは大人っぽくないかあるいは移動し易いかあるいは両方ともだ fact2: なにかは山雲でないとすれば流行しないか選択要因であるかもしくはどちらもである fact3: もし仮に何らかの物が山雲だということはないとしたらそれは流行するか選択要因であるか両方だ fact4: もしもその色相環がフレキシビリティでないとすればそれは心許ないかまたは社会福祉法人制度である fact5: 仮にその色相環が山雲でないとしたら流行するかあるいはそれは選択要因であるかまたは両方だ fact6: あのアン下士は選択要因であるかあるいは呼ぶかあるいは両方だ fact7: もしあのやんちゃ坊主が花嫁さんでないとしたらそれは五月人形でないかそれは選択要因である fact8: あの用無機培地は進み易くないかもしくは踏み迷うかもしくは両方である fact9: その色相環は術師自身でないかあるいはそれは山雲である fact10: もしその色相環が乗り付けないならばそれは山雲でないかもしくは書き漏らすか両方である fact11: その色相環は山雲であるということはない fact12: もしも何らかの物が乗り付けないとしたら基本的要素でないかもしくはそれは満つ fact13: もし仮にその色相環がおっそろしないとするとそれは選択要因であるかまたは加工し易いかあるいは両方である fact14: あるものは基本的要素だということはないかもしくは南蛮であるか両方である fact15: あるものは姫犬稗であるか説き続けるか両方である fact16: もしもその色相環がすげなくないとしたらそれは湿気易くないかあるいはそれは枸櫞酸であるかどちらもだ fact17: 「流行するかまたは選択要因な」物はある fact18: その色相環はベクトルデータでない fact19: このホワイトカラーは飽き足りる
fact2 -> int1: その色相環が山雲でないとするとそれは流行しないかあるいはそれは選択要因であるかもしくは両方である; int1 & fact11 -> int2: その色相環は流行しないか選択要因であるかあるいはどちらもである; int2 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> (¬{AA}{aa} v {AB}{aa}); int1 & fact11 -> int2: (¬{AA}{aa} v {AB}{aa}); int2 -> hypothesis;
そのジュラシック・パークは選択要因でない
$facts$ = fact1: 受け難くないものは大人っぽくないかあるいは移動し易いかあるいは両方ともだ fact2: なにかは山雲でないとすれば流行しないか選択要因であるかもしくはどちらもである fact3: もし仮に何らかの物が山雲だということはないとしたらそれは流行するか選択要因であるか両方だ fact4: もしもその色相環がフレキシビリティでないとすればそれは心許ないかまたは社会福祉法人制度である fact5: 仮にその色相環が山雲でないとしたら流行するかあるいはそれは選択要因であるかまたは両方だ fact6: あのアン下士は選択要因であるかあるいは呼ぶかあるいは両方だ fact7: もしあのやんちゃ坊主が花嫁さんでないとしたらそれは五月人形でないかそれは選択要因である fact8: あの用無機培地は進み易くないかもしくは踏み迷うかもしくは両方である fact9: その色相環は術師自身でないかあるいはそれは山雲である fact10: もしその色相環が乗り付けないならばそれは山雲でないかもしくは書き漏らすか両方である fact11: その色相環は山雲であるということはない fact12: もしも何らかの物が乗り付けないとしたら基本的要素でないかもしくはそれは満つ fact13: もし仮にその色相環がおっそろしないとするとそれは選択要因であるかまたは加工し易いかあるいは両方である fact14: あるものは基本的要素だということはないかもしくは南蛮であるか両方である fact15: あるものは姫犬稗であるか説き続けるか両方である fact16: もしもその色相環がすげなくないとしたらそれは湿気易くないかあるいはそれは枸櫞酸であるかどちらもだ fact17: 「流行するかまたは選択要因な」物はある fact18: その色相環はベクトルデータでない fact19: このホワイトカラーは飽き足りる ; $hypothesis$ = 「「流行しないかあるいは選択要因であるかあるいはどちらもである」ものはある」ということは偽だ ; $proof$ = 
fact2 -> int1: その色相環が山雲でないとするとそれは流行しないかあるいはそれは選択要因であるかもしくは両方である; int1 & fact11 -> int2: その色相環は流行しないか選択要因であるかあるいはどちらもである; int2 -> hypothesis; __DISPROVED__
事実1: 受け難くないものは大人っぽくないかあるいは移動し易いかあるいは両方ともだ
事実2: なにかは山雲でないとすれば流行しないか選択要因であるかもしくはどちらもである
事実3: もし仮に何らかの物が山雲だということはないとしたらそれは流行するか選択要因であるか両方だ
事実4: もしもその色相環がフレキシビリティでないとすればそれは心許ないかまたは社会福祉法人制度である
事実5: 仮にその色相環が山雲でないとしたら流行するかあるいはそれは選択要因であるかまたは両方だ
事実6: あのアン下士は選択要因であるかあるいは呼ぶかあるいは両方だ
事実7: もしあのやんちゃ坊主が花嫁さんでないとしたらそれは五月人形でないかそれは選択要因である
事実8: あの用無機培地は進み易くないかもしくは踏み迷うかもしくは両方である
事実9: その色相環は術師自身でないかあるいはそれは山雲である
事実10: もしその色相環が乗り付けないならばそれは山雲でないかもしくは書き漏らすか両方である
事実11: その色相環は山雲であるということはない
事実12: もしも何らかの物が乗り付けないとしたら基本的要素でないかもしくはそれは満つ
事実13: もし仮にその色相環がおっそろしないとするとそれは選択要因であるかまたは加工し易いかあるいは両方である
事実14: あるものは基本的要素だということはないかもしくは南蛮であるか両方である
事実15: あるものは姫犬稗であるか説き続けるか両方である
事実16: もしもその色相環がすげなくないとしたらそれは湿気易くないかあるいはそれは枸櫞酸であるかどちらもだ
事実17: 「流行するかまたは選択要因な」物はある
事実18: その色相環はベクトルデータでない
事実19: このホワイトカラーは飽き足りる

仮説: 「「流行しないかあるいは選択要因であるかあるいはどちらもである」ものはある」ということは偽だ
1. 事実2から、推論1: "その色相環が山雲でないとするとそれは流行しないかあるいはそれは選択要因であるかもしくは両方である"が導かれる
2. 推論1と事実11から、推論2: "その色相環は流行しないか選択要因であるかあるいはどちらもである"が導かれる
3. 推論2から、仮説が否定される

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