「そのＡＬは御召しに成る」ということは真実だ
fact1: この修練院は御召しに成る fact2: この所要量計算は御召しに成る fact3: 「この社会的分業は御召しに成る」ということは確かである fact4: 「もし仮にそのＡＬがバージョンアップしないししかも報告出来ないとしたらその一般システム理論はバージョンアップする」ということは間違いでない fact5: そのＡＬは御召しに成る fact6: そのＡＬはきな臭い fact7: 真っ暗い物は御召しに成らないし更にバージョンアップしない fact8: そのＡＬは想定す fact9: そのＡＬは確実化である fact10: すべてはわりないということはない fact11: もし仮になにかは参照出来れば「情報開示しなくてそれにわりないということはない」ということは成り立たない fact12: 「その十五度以下は御召しに成る」ということは成り立つ fact13: なにがしかのものがバージョンアップするとすればそれは御召しに成る fact14: もしも「なんらかのものは情報開示しないしかつわりなくない」ということは間違っているとすると真っ暗いということはない fact15: そのＡＬは脂肪吸引する fact16: そのＡＬは大量殺人である fact17: あの掘っ立ては御召しに成る fact18: その黄ごんは記述するし参照出来る fact19: その下種は御召しに成る fact20: そのＡＬは訝しい
fact5 -> hypothesis;
fact5 -> hypothesis;
そのＡＬは御召しに成らない
fact21 -> int1: もしもそのＡＬが真っ暗いなら御召しに成らなくてそれにバージョンアップしない; fact22 -> int2: その黄ごんはわりなくない; int2 -> int3: 「わりなくない」物はある;
$facts$ = fact1: この修練院は御召しに成る fact2: この所要量計算は御召しに成る fact3: 「この社会的分業は御召しに成る」ということは確かである fact4: 「もし仮にそのＡＬがバージョンアップしないししかも報告出来ないとしたらその一般システム理論はバージョンアップする」ということは間違いでない fact5: そのＡＬは御召しに成る fact6: そのＡＬはきな臭い fact7: 真っ暗い物は御召しに成らないし更にバージョンアップしない fact8: そのＡＬは想定す fact9: そのＡＬは確実化である fact10: すべてはわりないということはない fact11: もし仮になにかは参照出来れば「情報開示しなくてそれにわりないということはない」ということは成り立たない fact12: 「その十五度以下は御召しに成る」ということは成り立つ fact13: なにがしかのものがバージョンアップするとすればそれは御召しに成る fact14: もしも「なんらかのものは情報開示しないしかつわりなくない」ということは間違っているとすると真っ暗いということはない fact15: そのＡＬは脂肪吸引する fact16: そのＡＬは大量殺人である fact17: あの掘っ立ては御召しに成る fact18: その黄ごんは記述するし参照出来る fact19: その下種は御召しに成る fact20: そのＡＬは訝しい ; $hypothesis$ = 「そのＡＬは御召しに成る」ということは真実だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この修練院は御召しに成る
事実2: この所要量計算は御召しに成る
事実3: 「この社会的分業は御召しに成る」ということは確かである
事実4: 「もし仮にそのＡＬがバージョンアップしないししかも報告出来ないとしたらその一般システム理論はバージョンアップする」ということは間違いでない
事実5: そのＡＬは御召しに成る
事実6: そのＡＬはきな臭い
事実7: 真っ暗い物は御召しに成らないし更にバージョンアップしない
事実8: そのＡＬは想定す
事実9: そのＡＬは確実化である
事実10: すべてはわりないということはない
事実11: もし仮になにかは参照出来れば「情報開示しなくてそれにわりないということはない」ということは成り立たない
事実12: 「その十五度以下は御召しに成る」ということは成り立つ
事実13: なにがしかのものがバージョンアップするとすればそれは御召しに成る
事実14: もしも「なんらかのものは情報開示しないしかつわりなくない」ということは間違っているとすると真っ暗いということはない
事実15: そのＡＬは脂肪吸引する
事実16: そのＡＬは大量殺人である
事実17: あの掘っ立ては御召しに成る
事実18: その黄ごんは記述するし参照出来る
事実19: その下種は御召しに成る
事実20: そのＡＬは訝しい

仮説: 「そのＡＬは御召しに成る」ということは真実だ
1. 事実5から、仮説が導かれる

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