あの燃焼室は首尾良い
fact1: その脳外科は原稿執筆である fact2: 「あの幹部会は原稿執筆だ」ということは成り立つなら都市計画決定する fact3: もし「あの燃焼室は国税局所管法人であるし永眠する」ということは間違っているとしたらそれは永眠しない fact4: あの燃焼室は都市計画決定する fact5: あの幹部会は首尾良い fact6: もしもとあるものは原稿執筆であるとすれば「首尾良い」ということは真実だ fact7: もしあの燃焼室は永眠するとすれば「あの幹部会は首尾良くないけれどそれは原稿執筆である」ということは誤りだ fact8: それは広宣流布しないし更に薬でないというものはない fact9: もし仮にあの幹部会が忘れ去らないとしたらその義兄弟は出難くないしまた国税局所管法人でない fact10: 「なにがしかの物は出難くないならば「それは都市計画決定するしそれは永眠しない」ということは成り立たない」ということは事実である fact11: この打ち込みは首尾良い fact12: あの幹部会は原稿執筆である fact13: もしもなにかは永眠しないなら都市計画決定するということはないけど原稿執筆だ fact14: この諸利益は原稿執筆である fact15: 「あの燃焼室は広宣流布しなくてそれは薬でない」ということは偽であるならあの幹部会は忘れ去るということはない fact16: あの燃焼室が首尾良いとするとそれは冷め易い fact17: もしあの燃焼室が原稿執筆であるとしたらあの幹部会は首尾良い fact18: もしもあの燃焼室が首尾良いとしたらそれは都市計画決定する fact19: 仮にあの幹部会が都市計画決定するとしたらあの燃焼室は首尾良い fact20: もしもあの燃焼室が都市計画決定するとすればあの幹部会は首尾良い
fact2 & fact12 -> int1: あの幹部会は都市計画決定する; int1 & fact19 -> hypothesis;
その義兄弟は首尾良い
fact25 -> int2: もしその義兄弟は原稿執筆であるとしたら首尾良い; fact24 -> int3: その義兄弟は出難くないとしたら「それは都市計画決定するけど永眠しない」ということは真実でない; fact22 -> int4: 「あの燃焼室は広宣流布しないしその上薬でない」ということは成り立たない; fact21 & int4 -> int5: 「あの幹部会は忘れ去らない」ということは正しい; fact23 & int5 -> int6: その義兄弟は出難くなくてそれは国税局所管法人でない; int6 -> int7: その義兄弟は出難いということはない; int3 & int7 -> int8: 「その義兄弟は都市計画決定するけれど永眠しない」ということは間違いだ;
$facts$ = fact1: その脳外科は原稿執筆である fact2: 「あの幹部会は原稿執筆だ」ということは成り立つなら都市計画決定する fact3: もし「あの燃焼室は国税局所管法人であるし永眠する」ということは間違っているとしたらそれは永眠しない fact4: あの燃焼室は都市計画決定する fact5: あの幹部会は首尾良い fact6: もしもとあるものは原稿執筆であるとすれば「首尾良い」ということは真実だ fact7: もしあの燃焼室は永眠するとすれば「あの幹部会は首尾良くないけれどそれは原稿執筆である」ということは誤りだ fact8: それは広宣流布しないし更に薬でないというものはない fact9: もし仮にあの幹部会が忘れ去らないとしたらその義兄弟は出難くないしまた国税局所管法人でない fact10: 「なにがしかの物は出難くないならば「それは都市計画決定するしそれは永眠しない」ということは成り立たない」ということは事実である fact11: この打ち込みは首尾良い fact12: あの幹部会は原稿執筆である fact13: もしもなにかは永眠しないなら都市計画決定するということはないけど原稿執筆だ fact14: この諸利益は原稿執筆である fact15: 「あの燃焼室は広宣流布しなくてそれは薬でない」ということは偽であるならあの幹部会は忘れ去るということはない fact16: あの燃焼室が首尾良いとするとそれは冷め易い fact17: もしあの燃焼室が原稿執筆であるとしたらあの幹部会は首尾良い fact18: もしもあの燃焼室が首尾良いとしたらそれは都市計画決定する fact19: 仮にあの幹部会が都市計画決定するとしたらあの燃焼室は首尾良い fact20: もしもあの燃焼室が都市計画決定するとすればあの幹部会は首尾良い ; $hypothesis$ = あの燃焼室は首尾良い ; $proof$ = 
fact2 & fact12 -> int1: あの幹部会は都市計画決定する; int1 & fact19 -> hypothesis; __PROVED__
事実1: その脳外科は原稿執筆である
事実2: 「あの幹部会は原稿執筆だ」ということは成り立つなら都市計画決定する
事実3: もし「あの燃焼室は国税局所管法人であるし永眠する」ということは間違っているとしたらそれは永眠しない
事実4: あの燃焼室は都市計画決定する
事実5: あの幹部会は首尾良い
事実6: もしもとあるものは原稿執筆であるとすれば「首尾良い」ということは真実だ
事実7: もしあの燃焼室は永眠するとすれば「あの幹部会は首尾良くないけれどそれは原稿執筆である」ということは誤りだ
事実8: それは広宣流布しないし更に薬でないというものはない
事実9: もし仮にあの幹部会が忘れ去らないとしたらその義兄弟は出難くないしまた国税局所管法人でない
事実10: 「なにがしかの物は出難くないならば「それは都市計画決定するしそれは永眠しない」ということは成り立たない」ということは事実である
事実11: この打ち込みは首尾良い
事実12: あの幹部会は原稿執筆である
事実13: もしもなにかは永眠しないなら都市計画決定するということはないけど原稿執筆だ
事実14: この諸利益は原稿執筆である
事実15: 「あの燃焼室は広宣流布しなくてそれは薬でない」ということは偽であるならあの幹部会は忘れ去るということはない
事実16: あの燃焼室が首尾良いとするとそれは冷め易い
事実17: もしあの燃焼室が原稿執筆であるとしたらあの幹部会は首尾良い
事実18: もしもあの燃焼室が首尾良いとしたらそれは都市計画決定する
事実19: 仮にあの幹部会が都市計画決定するとしたらあの燃焼室は首尾良い
事実20: もしもあの燃焼室が都市計画決定するとすればあの幹部会は首尾良い

仮説: あの燃焼室は首尾良い
1. 事実2と事実12から、推論1: "あの幹部会は都市計画決定する"が導かれる
2. 推論1と事実19から、仮説が導かれる

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