「その新世紀は清しということはないけれど矢創である」ということは成り立たない
fact1: もし仮に「あの金沢文庫は重ね合わせるけれど白々しかない」ということは誤っているとしたら死者数であるということはない fact2: その新世紀は黄色っぽい fact3: もしもその新世紀が素晴らしいとするとそれは矢創である fact4: 「あの金沢文庫は重ね合わせる一方で白々しかない」ということは間違いだ fact5: その抵当不動産はおっかしいということはないとすれば「あの金沢文庫は揮発し易くないししかも黄色っぽくない」ということは偽である fact6: おっかしい物は黄色っぽくないけれどぱちぱちする fact7: 仮にあの金沢文庫は素晴らしいなら「その新世紀は清しない一方で矢創である」ということは成り立つということはない fact8: もしもこの問題等が黄色っぽくないとすればそれは清ししかつ素晴らしい fact9: 素晴らしい物は矢創だ fact10: その新世紀は黄色っぽくてまたそれは素晴らしい fact11: あの金沢文庫が死者数でないならこのモダニティは素晴らしくて中三だ fact12: 素晴らしい物は清しないが矢創だ fact13: もし仮に「あの金沢文庫は揮発し易くないしその上黄色っぽいということはない」ということは成り立たないとすれば「この問題等は黄色っぽくない」ということは成り立つ fact14: その飲料は黄色っぽい fact15: その新世紀は矢創である
fact12 -> int1: もしその新世紀が素晴らしいならばそれは清しない一方で矢創だ; fact10 -> int2: その新世紀は素晴らしい; int1 & int2 -> hypothesis;
fact12 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); fact10 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
このモダニティはぱちぱちするし素晴らしい
fact16 -> int3: 仮にこのモダニティがおっかしいとすればそれは黄色っぽいということはないしぱちぱちする; fact17 & fact19 -> int4: あの金沢文庫は死者数であるということはない; fact18 & int4 -> int5: このモダニティは素晴らしくて中三である; int5 -> int6: このモダニティは素晴らしい;
$facts$ = fact1: もし仮に「あの金沢文庫は重ね合わせるけれど白々しかない」ということは誤っているとしたら死者数であるということはない fact2: その新世紀は黄色っぽい fact3: もしもその新世紀が素晴らしいとするとそれは矢創である fact4: 「あの金沢文庫は重ね合わせる一方で白々しかない」ということは間違いだ fact5: その抵当不動産はおっかしいということはないとすれば「あの金沢文庫は揮発し易くないししかも黄色っぽくない」ということは偽である fact6: おっかしい物は黄色っぽくないけれどぱちぱちする fact7: 仮にあの金沢文庫は素晴らしいなら「その新世紀は清しない一方で矢創である」ということは成り立つということはない fact8: もしもこの問題等が黄色っぽくないとすればそれは清ししかつ素晴らしい fact9: 素晴らしい物は矢創だ fact10: その新世紀は黄色っぽくてまたそれは素晴らしい fact11: あの金沢文庫が死者数でないならこのモダニティは素晴らしくて中三だ fact12: 素晴らしい物は清しないが矢創だ fact13: もし仮に「あの金沢文庫は揮発し易くないしその上黄色っぽいということはない」ということは成り立たないとすれば「この問題等は黄色っぽくない」ということは成り立つ fact14: その飲料は黄色っぽい fact15: その新世紀は矢創である ; $hypothesis$ = 「その新世紀は清しということはないけれど矢創である」ということは成り立たない ; $proof$ = 
fact12 -> int1: もしその新世紀が素晴らしいならばそれは清しない一方で矢創だ; fact10 -> int2: その新世紀は素晴らしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの金沢文庫は重ね合わせるけれど白々しかない」ということは誤っているとしたら死者数であるということはない
事実2: その新世紀は黄色っぽい
事実3: もしもその新世紀が素晴らしいとするとそれは矢創である
事実4: 「あの金沢文庫は重ね合わせる一方で白々しかない」ということは間違いだ
事実5: その抵当不動産はおっかしいということはないとすれば「あの金沢文庫は揮発し易くないししかも黄色っぽくない」ということは偽である
事実6: おっかしい物は黄色っぽくないけれどぱちぱちする
事実7: 仮にあの金沢文庫は素晴らしいなら「その新世紀は清しない一方で矢創である」ということは成り立つということはない
事実8: もしもこの問題等が黄色っぽくないとすればそれは清ししかつ素晴らしい
事実9: 素晴らしい物は矢創だ
事実10: その新世紀は黄色っぽくてまたそれは素晴らしい
事実11: あの金沢文庫が死者数でないならこのモダニティは素晴らしくて中三だ
事実12: 素晴らしい物は清しないが矢創だ
事実13: もし仮に「あの金沢文庫は揮発し易くないしその上黄色っぽいということはない」ということは成り立たないとすれば「この問題等は黄色っぽくない」ということは成り立つ
事実14: その飲料は黄色っぽい
事実15: その新世紀は矢創である

仮説: 「その新世紀は清しということはないけれど矢創である」ということは成り立たない
1. 事実12から、推論1: "もしその新世紀が素晴らしいならばそれは清しない一方で矢創だ"が導かれる
2. 事実10から、推論2: "その新世紀は素晴らしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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