そのプログラム内は悪くないけれどそれは病人役割だ
fact1: そのプログラム内は悪くないがしかし病人役割である fact2: そのプログラム内は練兵館道場でないけれどそれは青白い fact3: 「そのプログラム内はされ易い」ということは成り立つ fact4: あのアイルランド人は病人役割でない一方で起き上がる fact5: この秘儀は頼み難くないけど労務投下である fact6: この赤ら顔は悪い fact7: そのプログラム内は酸くないがしかし決め難い fact8: ある物はイメージメニューでないとすると「「それは悪いということはなくてそれに病人役割である」ということは偽でない」ということは成り立たない fact9: この刃傷沙汰は病人役割だ fact10: もし「この秘儀は惨殺する」ということは真実だとするとそのプログラム内は決め難い fact11: その人気料理は遣り辛いということはない一方でそれは充当す fact12: そのプログラム内は受験しない一方でそれはコミュニケーション行動だ fact13: そのプログラム内は自己都合退職する fact14: 仮に何かは決め難いし文献レビューであるならばイメージメニューでない fact15: そのプログラム内は病人役割である fact16: そのプログラム内は取り出し易くないがコミュニケーション行動である fact17: そのプログラム内は野暮ったいということはないがか細い fact18: もし仮にある物が頼み難くないけれどそれは労務投下だとすれば「それは惨殺する」ということは本当である fact19: そのプログラム内は受験しないがしかしそれは病人役割だ
fact1 -> hypothesis;
fact1 -> hypothesis;
「そのプログラム内は悪くない一方で病人役割である」ということは間違いだ
fact23 -> int1: もし仮にそのプログラム内はイメージメニューでないとしたら「悪いということはないがしかし病人役割である」ということは偽である; fact22 -> int2: もしそのプログラム内は決め難くて文献レビューだとすればイメージメニューでない; fact20 -> int3: もしもこの秘儀が頼み難くないがしかしそれは労務投下であるとすれば惨殺する; int3 & fact21 -> int4: この秘儀は惨殺する; fact24 & int4 -> int5: そのプログラム内は決め難い;
$facts$ = fact1: そのプログラム内は悪くないがしかし病人役割である fact2: そのプログラム内は練兵館道場でないけれどそれは青白い fact3: 「そのプログラム内はされ易い」ということは成り立つ fact4: あのアイルランド人は病人役割でない一方で起き上がる fact5: この秘儀は頼み難くないけど労務投下である fact6: この赤ら顔は悪い fact7: そのプログラム内は酸くないがしかし決め難い fact8: ある物はイメージメニューでないとすると「「それは悪いということはなくてそれに病人役割である」ということは偽でない」ということは成り立たない fact9: この刃傷沙汰は病人役割だ fact10: もし「この秘儀は惨殺する」ということは真実だとするとそのプログラム内は決め難い fact11: その人気料理は遣り辛いということはない一方でそれは充当す fact12: そのプログラム内は受験しない一方でそれはコミュニケーション行動だ fact13: そのプログラム内は自己都合退職する fact14: 仮に何かは決め難いし文献レビューであるならばイメージメニューでない fact15: そのプログラム内は病人役割である fact16: そのプログラム内は取り出し易くないがコミュニケーション行動である fact17: そのプログラム内は野暮ったいということはないがか細い fact18: もし仮にある物が頼み難くないけれどそれは労務投下だとすれば「それは惨殺する」ということは本当である fact19: そのプログラム内は受験しないがしかしそれは病人役割だ ; $hypothesis$ = そのプログラム内は悪くないけれどそれは病人役割だ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: そのプログラム内は悪くないがしかし病人役割である
事実2: そのプログラム内は練兵館道場でないけれどそれは青白い
事実3: 「そのプログラム内はされ易い」ということは成り立つ
事実4: あのアイルランド人は病人役割でない一方で起き上がる
事実5: この秘儀は頼み難くないけど労務投下である
事実6: この赤ら顔は悪い
事実7: そのプログラム内は酸くないがしかし決め難い
事実8: ある物はイメージメニューでないとすると「「それは悪いということはなくてそれに病人役割である」ということは偽でない」ということは成り立たない
事実9: この刃傷沙汰は病人役割だ
事実10: もし「この秘儀は惨殺する」ということは真実だとするとそのプログラム内は決め難い
事実11: その人気料理は遣り辛いということはない一方でそれは充当す
事実12: そのプログラム内は受験しない一方でそれはコミュニケーション行動だ
事実13: そのプログラム内は自己都合退職する
事実14: 仮に何かは決め難いし文献レビューであるならばイメージメニューでない
事実15: そのプログラム内は病人役割である
事実16: そのプログラム内は取り出し易くないがコミュニケーション行動である
事実17: そのプログラム内は野暮ったいということはないがか細い
事実18: もし仮にある物が頼み難くないけれどそれは労務投下だとすれば「それは惨殺する」ということは本当である
事実19: そのプログラム内は受験しないがしかしそれは病人役割だ

仮説: そのプログラム内は悪くないけれどそれは病人役割だ
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。