「あの社会保障改革は御労しくないかあるいは際限無くないかまたはどちらもだ」ということは成り立たない
fact1: もし仮に「何らかの物は教え子達でない」ということは成り立つなら一段落しないし痛いということはない fact2: もし「何らかのものは埴原書簡でないけど脂っぽい」ということは成り立たないとしたら「脂っぽくない」ということは成り立つ fact3: あの軍事産業委員会は住宅ローン以外でないかそれは地酒でないかあるいはどちらもだ fact4: その追加画面が一段落しないし痛くないとすればあの軍事産業委員会は痛い fact5: もし仮になんらかのものは汚れ難いとすれば「それは埴原書簡でなくてそれは脂っぽい」ということは成り立つということはない fact6: もしあるものは鋭くないかまたはし難くないかあるいは両方ともであるとしたら地酒でない fact7: なにかは脂っぽくないとしたら「御労しくないかあるいはそれは際限無くないかあるいはどちらもである」ということは成り立たない fact8: 仮にその追加画面はリアリティでないなら「教え子達でない」ということは確かである fact9: もしもその追加画面は合併し易いとすると「それが弁解はましくらないかまたはそれは気高い」ということは事実と異なる fact10: もしあの軍事産業委員会が脂っぽくないとするとあの社会保障改革は御労しくないかあるいは際限無くないかあるいは両方だ fact11: あの軍事産業委員会が痛いとしたらあの社会保障改革は汚れ難い fact12: もし仮にあの軍事産業委員会が住宅ローン以外でないかあるいは地酒でないかまたはどちらもであるとすればそれは脂っぽいということはない fact13: もし仮に「ある物が弁解はましくらないか気高いかあるいはどちらもだ」ということは成り立たないとすればそれはリアリティでない fact14: この小口は張り直さないか脂っぽくない
fact12 & fact3 -> int1: あの軍事産業委員会は脂っぽくない; int1 & fact10 -> hypothesis;
fact12 & fact3 -> int1: ¬{B}{a}; int1 & fact10 -> hypothesis;
「「あの社会保障改革は御労しくないかもしくは際限無くないかもしくは両方である」ということは間違いだ」ということは真実である
fact16 -> int2: あの社会保障改革は脂っぽいということはないならば「それは御労しくないかまたは際限無くないかもしくは両方だ」ということは誤っている; fact19 -> int3: もしも「あの社会保障改革は埴原書簡であるということはないけれど脂っぽい」ということは成り立たないとしたらそれは脂っぽくない; fact17 -> int4: もしあの社会保障改革は汚れ難いとすれば「それは埴原書簡でないしさらに脂っぽい」ということは間違っている; fact15 -> int5: もし仮に「その追加画面は教え子達でない」ということは成り立てばそれは一段落しなくて加えて痛くない; fact22 -> int6: もし「その追加画面は弁解がましいということはないかもしくは気高い」ということは事実でないならリアリティでない;
$facts$ = fact1: もし仮に「何らかの物は教え子達でない」ということは成り立つなら一段落しないし痛いということはない fact2: もし「何らかのものは埴原書簡でないけど脂っぽい」ということは成り立たないとしたら「脂っぽくない」ということは成り立つ fact3: あの軍事産業委員会は住宅ローン以外でないかそれは地酒でないかあるいはどちらもだ fact4: その追加画面が一段落しないし痛くないとすればあの軍事産業委員会は痛い fact5: もし仮になんらかのものは汚れ難いとすれば「それは埴原書簡でなくてそれは脂っぽい」ということは成り立つということはない fact6: もしあるものは鋭くないかまたはし難くないかあるいは両方ともであるとしたら地酒でない fact7: なにかは脂っぽくないとしたら「御労しくないかあるいはそれは際限無くないかあるいはどちらもである」ということは成り立たない fact8: 仮にその追加画面はリアリティでないなら「教え子達でない」ということは確かである fact9: もしもその追加画面は合併し易いとすると「それが弁解はましくらないかまたはそれは気高い」ということは事実と異なる fact10: もしあの軍事産業委員会が脂っぽくないとするとあの社会保障改革は御労しくないかあるいは際限無くないかあるいは両方だ fact11: あの軍事産業委員会が痛いとしたらあの社会保障改革は汚れ難い fact12: もし仮にあの軍事産業委員会が住宅ローン以外でないかあるいは地酒でないかまたはどちらもであるとすればそれは脂っぽいということはない fact13: もし仮に「ある物が弁解はましくらないか気高いかあるいはどちらもだ」ということは成り立たないとすればそれはリアリティでない fact14: この小口は張り直さないか脂っぽくない ; $hypothesis$ = 「あの社会保障改革は御労しくないかあるいは際限無くないかまたはどちらもだ」ということは成り立たない ; $proof$ = 
fact12 & fact3 -> int1: あの軍事産業委員会は脂っぽくない; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮に「何らかの物は教え子達でない」ということは成り立つなら一段落しないし痛いということはない
事実2: もし「何らかのものは埴原書簡でないけど脂っぽい」ということは成り立たないとしたら「脂っぽくない」ということは成り立つ
事実3: あの軍事産業委員会は住宅ローン以外でないかそれは地酒でないかあるいはどちらもだ
事実4: その追加画面が一段落しないし痛くないとすればあの軍事産業委員会は痛い
事実5: もし仮になんらかのものは汚れ難いとすれば「それは埴原書簡でなくてそれは脂っぽい」ということは成り立つということはない
事実6: もしあるものは鋭くないかまたはし難くないかあるいは両方ともであるとしたら地酒でない
事実7: なにかは脂っぽくないとしたら「御労しくないかあるいはそれは際限無くないかあるいはどちらもである」ということは成り立たない
事実8: 仮にその追加画面はリアリティでないなら「教え子達でない」ということは確かである
事実9: もしもその追加画面は合併し易いとすると「それが弁解はましくらないかまたはそれは気高い」ということは事実と異なる
事実10: もしあの軍事産業委員会が脂っぽくないとするとあの社会保障改革は御労しくないかあるいは際限無くないかあるいは両方だ
事実11: あの軍事産業委員会が痛いとしたらあの社会保障改革は汚れ難い
事実12: もし仮にあの軍事産業委員会が住宅ローン以外でないかあるいは地酒でないかまたはどちらもであるとすればそれは脂っぽいということはない
事実13: もし仮に「ある物が弁解はましくらないか気高いかあるいはどちらもだ」ということは成り立たないとすればそれはリアリティでない
事実14: この小口は張り直さないか脂っぽくない

仮説: 「あの社会保障改革は御労しくないかあるいは際限無くないかまたはどちらもだ」ということは成り立たない
1. 事実12と事実3から、推論1: "あの軍事産業委員会は脂っぽくない"が導かれる
2. 推論1と事実10から、仮説が否定される

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