この自民族は打ち易い
fact1: 仮に「この国内問題不干渉原則は耐え難くないけど出入りし易い」ということは嘘であるとすればその国家総動員法は安くない fact2: もしある物が黒いとすれば動き難い fact3: このハビタブルゾーンは耐え難くないけど安い fact4: 疲れ難くない物は打ち易くない fact5: 仮に「なんらかの物は生温かくてまた疲れ難い」ということは確かでないならば打ち易くない fact6: もし仮にこのハビタブルゾーンが耐え難くないけどそれが安いとすればそれは標準設定でない fact7: もしある物は動き難くないとすれば「それは生温かくて疲れ難い」ということは間違っている fact8: この自民族は黒くない fact9: もし仮にこの自民族は黒くてそれに斜め上であるとしたら動き難くない fact10: 仮に黒くないものは蔵書目録であるとすれば田舎っぽくない fact11: もし仮に何らかのものは木らしいとすれば「債券でないけれど子供自身だ」ということは成り立たない fact12: 仮に「その文化芸術団体は債券でないけど子供自身だ」ということは成り立たないならこの国内問題不干渉原則は子供自身だ fact13: 「このハビタブルゾーンは動き難い」ということは真実ならばあの自民族は打ち易い fact14: 「もしも「このハビタブルゾーンは標準設定でない」ということは偽であるということはないとすればあの所作は黒くないしその上斜め上だということはない」ということは間違いでない fact15: もしあの細砂層はアイバンク運動でないが斜め上だとすると交渉成立でない fact16: とあるものが安くないとすればそれは標準設定であるししかもそれは斜め上だ fact17: この自民族は黒くないがそれは斜め上だ fact18: もしもなにかは子供自身だとすれば「それは耐え難くないがしかし出入りし易い」ということは成り立たない fact19: その文化芸術団体は木らしい fact20: もしこの自民族が疲れ難くないならそれは打ち易くない fact21: 仮にこの自民族は黒くないが斜め上であるならばそれは動き難くない fact22: この自民族は軽視出来ない
fact7 -> int1: 「この自民族は動き難くない」ということは正しいなら「それは生温かくてまたそれは疲れ難い」ということは成り立つということはない; fact21 & fact17 -> int2: この自民族は動き難くない; int1 & int2 -> int3: 「この自民族は生温かいししかもそれは疲れ難い」ということは偽だ; fact5 -> int4: 「この自民族は生温かいしさらにそれは疲れ難い」ということは本当でないならばそれは打ち易いということはない; int3 & int4 -> hypothesis;
fact7 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); fact21 & fact17 -> int2: ¬{A}{aa}; int1 & int2 -> int3: ¬({AA}{aa} & {AB}{aa}); fact5 -> int4: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int3 & int4 -> hypothesis;
この自民族は打ち易い
fact29 -> int5: もしもこのハビタブルゾーンが黒いとしたら動き難い; fact26 -> int6: もしその国家総動員法は安いということはないとすれば「それは標準設定であるしその上斜め上だ」ということは確かである; fact23 -> int7: この国内問題不干渉原則は子供自身ならば「耐え難くないがしかし出入りし易い」ということは間違っている; fact30 -> int8: もし仮にその文化芸術団体は木らしいなら「それは債券でないしかつそれは子供自身である」ということは成り立たない; int8 & fact28 -> int9: 「その文化芸術団体は債券でないけど子供自身である」ということは間違っている; fact24 & int9 -> int10: この国内問題不干渉原則は子供自身である; int7 & int10 -> int11: 「「この国内問題不干渉原則は耐え難いということはないけれど出入りし易い」ということは成り立つ」ということは誤っている; fact27 & int11 -> int12: その国家総動員法は安くない; int6 & int12 -> int13: その国家総動員法は標準設定であるしおまけに斜め上である; int13 -> int14: その国家総動員法は斜め上である; int14 -> int15: 「斜め上な」物はある;
$facts$ = fact1: 仮に「この国内問題不干渉原則は耐え難くないけど出入りし易い」ということは嘘であるとすればその国家総動員法は安くない fact2: もしある物が黒いとすれば動き難い fact3: このハビタブルゾーンは耐え難くないけど安い fact4: 疲れ難くない物は打ち易くない fact5: 仮に「なんらかの物は生温かくてまた疲れ難い」ということは確かでないならば打ち易くない fact6: もし仮にこのハビタブルゾーンが耐え難くないけどそれが安いとすればそれは標準設定でない fact7: もしある物は動き難くないとすれば「それは生温かくて疲れ難い」ということは間違っている fact8: この自民族は黒くない fact9: もし仮にこの自民族は黒くてそれに斜め上であるとしたら動き難くない fact10: 仮に黒くないものは蔵書目録であるとすれば田舎っぽくない fact11: もし仮に何らかのものは木らしいとすれば「債券でないけれど子供自身だ」ということは成り立たない fact12: 仮に「その文化芸術団体は債券でないけど子供自身だ」ということは成り立たないならこの国内問題不干渉原則は子供自身だ fact13: 「このハビタブルゾーンは動き難い」ということは真実ならばあの自民族は打ち易い fact14: 「もしも「このハビタブルゾーンは標準設定でない」ということは偽であるということはないとすればあの所作は黒くないしその上斜め上だということはない」ということは間違いでない fact15: もしあの細砂層はアイバンク運動でないが斜め上だとすると交渉成立でない fact16: とあるものが安くないとすればそれは標準設定であるししかもそれは斜め上だ fact17: この自民族は黒くないがそれは斜め上だ fact18: もしもなにかは子供自身だとすれば「それは耐え難くないがしかし出入りし易い」ということは成り立たない fact19: その文化芸術団体は木らしい fact20: もしこの自民族が疲れ難くないならそれは打ち易くない fact21: 仮にこの自民族は黒くないが斜め上であるならばそれは動き難くない fact22: この自民族は軽視出来ない ; $hypothesis$ = この自民族は打ち易い ; $proof$ = 
fact7 -> int1: 「この自民族は動き難くない」ということは正しいなら「それは生温かくてまたそれは疲れ難い」ということは成り立つということはない; fact21 & fact17 -> int2: この自民族は動き難くない; int1 & int2 -> int3: 「この自民族は生温かいししかもそれは疲れ難い」ということは偽だ; fact5 -> int4: 「この自民族は生温かいしさらにそれは疲れ難い」ということは本当でないならばそれは打ち易いということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「この国内問題不干渉原則は耐え難くないけど出入りし易い」ということは嘘であるとすればその国家総動員法は安くない
事実2: もしある物が黒いとすれば動き難い
事実3: このハビタブルゾーンは耐え難くないけど安い
事実4: 疲れ難くない物は打ち易くない
事実5: 仮に「なんらかの物は生温かくてまた疲れ難い」ということは確かでないならば打ち易くない
事実6: もし仮にこのハビタブルゾーンが耐え難くないけどそれが安いとすればそれは標準設定でない
事実7: もしある物は動き難くないとすれば「それは生温かくて疲れ難い」ということは間違っている
事実8: この自民族は黒くない
事実9: もし仮にこの自民族は黒くてそれに斜め上であるとしたら動き難くない
事実10: 仮に黒くないものは蔵書目録であるとすれば田舎っぽくない
事実11: もし仮に何らかのものは木らしいとすれば「債券でないけれど子供自身だ」ということは成り立たない
事実12: 仮に「その文化芸術団体は債券でないけど子供自身だ」ということは成り立たないならこの国内問題不干渉原則は子供自身だ
事実13: 「このハビタブルゾーンは動き難い」ということは真実ならばあの自民族は打ち易い
事実14: 「もしも「このハビタブルゾーンは標準設定でない」ということは偽であるということはないとすればあの所作は黒くないしその上斜め上だということはない」ということは間違いでない
事実15: もしあの細砂層はアイバンク運動でないが斜め上だとすると交渉成立でない
事実16: とあるものが安くないとすればそれは標準設定であるししかもそれは斜め上だ
事実17: この自民族は黒くないがそれは斜め上だ
事実18: もしもなにかは子供自身だとすれば「それは耐え難くないがしかし出入りし易い」ということは成り立たない
事実19: その文化芸術団体は木らしい
事実20: もしこの自民族が疲れ難くないならそれは打ち易くない
事実21: 仮にこの自民族は黒くないが斜め上であるならばそれは動き難くない
事実22: この自民族は軽視出来ない

仮説: この自民族は打ち易い
1. 事実7から、推論1: "「この自民族は動き難くない」ということは正しいなら「それは生温かくてまたそれは疲れ難い」ということは成り立つということはない"が導かれる
2. 事実21と事実17から、推論2: "この自民族は動き難くない"が導かれる
3. 推論1と推論2から、推論3: "「この自民族は生温かいししかもそれは疲れ難い」ということは偽だ"が導かれる
4. 事実5から、推論4: "「この自民族は生温かいしさらにそれは疲れ難い」ということは本当でないならばそれは打ち易いということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

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