「あのＰＤＳは修行しない」ということは成り立つ
fact1: あのＰＤＳはコンパイル出来る fact2: もし仮にあのＰＤＳは修行すれば「それは容易い」ということは正しい fact3: 仮にその締まり屋は気恥ずかしくないなら「あのＰＤＳは哲学するか貴方形でないか両方ともだ」ということは成り立つということはない fact4: もし仮になにがしかの物が実戦部隊でないとすれば修行するしコンパイル出来る fact5: 仮に「あのＰＤＳはこよない」ということは事実であるとしたら修行する fact6: 「その利益相反取り引きはコンパイル出来る」ということは正しい fact7: その締まり屋は気恥ずかしくない fact8: あのＰＤＳは水揚げする fact9: もしもあのＰＤＳが冠動脈病変でないしそれに掻い潜るということはないとすればそれは華々しくない fact10: 「「「なんらかの物は哲学するかもしくは貴方形でないかもしくは両方ともだ」ということは確かだ」ということは成り立たないならば棚上げする」ということは偽でない fact11: もし仮にあのＰＤＳがコンパイル出来るとしたら修行する fact12: もし仮にある物が棚上げするが華々しいということはないとするとその防空演習は実戦部隊でない fact13: もし仮に迷信深いものがあればあのＰＤＳは冠動脈病変でないし掻い潜らない fact14: あの家電部門はコンパイル出来る fact15: 華々しい物は棚上げするということはないけれど実戦部隊だ fact16: あの癌予防は明け放さない fact17: もし仮にあの癌予防が明け放さないとしたらあの鐘はサリドマイドでない fact18: あの欲得は修行する fact19: もしもあの鐘がサリドマイドでないならその年金保険者はプレムダンだし迷信深い
fact11 & fact1 -> hypothesis;
fact11 & fact1 -> hypothesis;
「あのＰＤＳは修行しない」ということは本当だ
fact20 -> int1: もしその年金保険者が華々しいとしたら棚上げしないけれど実戦部隊である;
$facts$ = fact1: あのＰＤＳはコンパイル出来る fact2: もし仮にあのＰＤＳは修行すれば「それは容易い」ということは正しい fact3: 仮にその締まり屋は気恥ずかしくないなら「あのＰＤＳは哲学するか貴方形でないか両方ともだ」ということは成り立つということはない fact4: もし仮になにがしかの物が実戦部隊でないとすれば修行するしコンパイル出来る fact5: 仮に「あのＰＤＳはこよない」ということは事実であるとしたら修行する fact6: 「その利益相反取り引きはコンパイル出来る」ということは正しい fact7: その締まり屋は気恥ずかしくない fact8: あのＰＤＳは水揚げする fact9: もしもあのＰＤＳが冠動脈病変でないしそれに掻い潜るということはないとすればそれは華々しくない fact10: 「「「なんらかの物は哲学するかもしくは貴方形でないかもしくは両方ともだ」ということは確かだ」ということは成り立たないならば棚上げする」ということは偽でない fact11: もし仮にあのＰＤＳがコンパイル出来るとしたら修行する fact12: もし仮にある物が棚上げするが華々しいということはないとするとその防空演習は実戦部隊でない fact13: もし仮に迷信深いものがあればあのＰＤＳは冠動脈病変でないし掻い潜らない fact14: あの家電部門はコンパイル出来る fact15: 華々しい物は棚上げするということはないけれど実戦部隊だ fact16: あの癌予防は明け放さない fact17: もし仮にあの癌予防が明け放さないとしたらあの鐘はサリドマイドでない fact18: あの欲得は修行する fact19: もしもあの鐘がサリドマイドでないならその年金保険者はプレムダンだし迷信深い ; $hypothesis$ = 「あのＰＤＳは修行しない」ということは成り立つ ; $proof$ = 
fact11 & fact1 -> hypothesis; __DISPROVED__
事実1: あのＰＤＳはコンパイル出来る
事実2: もし仮にあのＰＤＳは修行すれば「それは容易い」ということは正しい
事実3: 仮にその締まり屋は気恥ずかしくないなら「あのＰＤＳは哲学するか貴方形でないか両方ともだ」ということは成り立つということはない
事実4: もし仮になにがしかの物が実戦部隊でないとすれば修行するしコンパイル出来る
事実5: 仮に「あのＰＤＳはこよない」ということは事実であるとしたら修行する
事実6: 「その利益相反取り引きはコンパイル出来る」ということは正しい
事実7: その締まり屋は気恥ずかしくない
事実8: あのＰＤＳは水揚げする
事実9: もしもあのＰＤＳが冠動脈病変でないしそれに掻い潜るということはないとすればそれは華々しくない
事実10: 「「「なんらかの物は哲学するかもしくは貴方形でないかもしくは両方ともだ」ということは確かだ」ということは成り立たないならば棚上げする」ということは偽でない
事実11: もし仮にあのＰＤＳがコンパイル出来るとしたら修行する
事実12: もし仮にある物が棚上げするが華々しいということはないとするとその防空演習は実戦部隊でない
事実13: もし仮に迷信深いものがあればあのＰＤＳは冠動脈病変でないし掻い潜らない
事実14: あの家電部門はコンパイル出来る
事実15: 華々しい物は棚上げするということはないけれど実戦部隊だ
事実16: あの癌予防は明け放さない
事実17: もし仮にあの癌予防が明け放さないとしたらあの鐘はサリドマイドでない
事実18: あの欲得は修行する
事実19: もしもあの鐘がサリドマイドでないならその年金保険者はプレムダンだし迷信深い

仮説: 「あのＰＤＳは修行しない」ということは成り立つ
1. 事実11と事実1から、仮説が否定される

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