この重文は東京大空襲でない
fact1: もしもその学習面はＲＮＡＩだとすると「この重文は行き難い」ということは事実だ fact2: この抗血小板薬は情報入手である fact3: もしその学習面は御吸い物であるとすると食券だ fact4: 仮になにがしかのものは棟木でないしその上それは行き難くないならばＲＮＡＩだ fact5: その学習面が食券ならば棟木でないがしかし結合し易い fact6: 「その学習面は御吸い物であるしそれは結合し易い」ということは偽であるならこの抗血小板薬は結合し易くない fact7: もしも「なにがしかの物は東京大空襲である」ということは成り立つならそれはＲＮＡＩでないか行き難くないかあるいは両方だ fact8: もしあるものは情報入手であるとするとそれは東京大空襲だ fact9: もしこの抗血小板薬が情報入手であるとすればその学習面はＲＮＡＩである fact10: ＲＮＡＩは情報入手である fact11: 結合し易くないものは棟木でなくておまけに行き難いということはない fact12: もしなにかは行き難いとすればそれは東京大空襲でない fact13: もしもこの抗血小板薬がＲＮＡＩならばあの重文はＲＮＡＩだ fact14: もしもあの株主総会は食券でないとすると「その学習面は御吸い物であるしそれは結合し易い」ということは確かでない fact15: 仮にあるものが付録であるかもしくは恨みはましくらないか両方なら食券でない
fact9 & fact2 -> int1: 「その学習面はＲＮＡＩである」ということは確かである; int1 & fact1 -> int2: この重文は行き難い; fact12 -> int3: もしもこの重文が行き難いならばそれは東京大空襲でない; int2 & int3 -> hypothesis;
この重文は東京大空襲である
fact20 -> int4: もし仮にこの重文は情報入手であるとするとそれは東京大空襲だ; fact23 -> int5: この重文がＲＮＡＩなら情報入手だ; fact22 -> int6: もしもこの抗血小板薬は棟木だということはなくて行き難くないとしたら「それはＲＮＡＩである」ということは正しい; fact16 -> int7: 仮にこの抗血小板薬は結合し易くないならそれは棟木でないしさらに行き難いということはない; fact19 -> int8: あの株主総会は付録であるかもしくは恨みがましかないなら食券でない;
$facts$ = fact1: もしもその学習面はＲＮＡＩだとすると「この重文は行き難い」ということは事実だ fact2: この抗血小板薬は情報入手である fact3: もしその学習面は御吸い物であるとすると食券だ fact4: 仮になにがしかのものは棟木でないしその上それは行き難くないならばＲＮＡＩだ fact5: その学習面が食券ならば棟木でないがしかし結合し易い fact6: 「その学習面は御吸い物であるしそれは結合し易い」ということは偽であるならこの抗血小板薬は結合し易くない fact7: もしも「なにがしかの物は東京大空襲である」ということは成り立つならそれはＲＮＡＩでないか行き難くないかあるいは両方だ fact8: もしあるものは情報入手であるとするとそれは東京大空襲だ fact9: もしこの抗血小板薬が情報入手であるとすればその学習面はＲＮＡＩである fact10: ＲＮＡＩは情報入手である fact11: 結合し易くないものは棟木でなくておまけに行き難いということはない fact12: もしなにかは行き難いとすればそれは東京大空襲でない fact13: もしもこの抗血小板薬がＲＮＡＩならばあの重文はＲＮＡＩだ fact14: もしもあの株主総会は食券でないとすると「その学習面は御吸い物であるしそれは結合し易い」ということは確かでない fact15: 仮にあるものが付録であるかもしくは恨みはましくらないか両方なら食券でない ; $hypothesis$ = この重文は東京大空襲でない ; $proof$ = 
fact9 & fact2 -> int1: 「その学習面はＲＮＡＩである」ということは確かである; int1 & fact1 -> int2: この重文は行き難い; fact12 -> int3: もしもこの重文が行き難いならばそれは東京大空襲でない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもその学習面はＲＮＡＩだとすると「この重文は行き難い」ということは事実だ
事実2: この抗血小板薬は情報入手である
事実3: もしその学習面は御吸い物であるとすると食券だ
事実4: 仮になにがしかのものは棟木でないしその上それは行き難くないならばＲＮＡＩだ
事実5: その学習面が食券ならば棟木でないがしかし結合し易い
事実6: 「その学習面は御吸い物であるしそれは結合し易い」ということは偽であるならこの抗血小板薬は結合し易くない
事実7: もしも「なにがしかの物は東京大空襲である」ということは成り立つならそれはＲＮＡＩでないか行き難くないかあるいは両方だ
事実8: もしあるものは情報入手であるとするとそれは東京大空襲だ
事実9: もしこの抗血小板薬が情報入手であるとすればその学習面はＲＮＡＩである
事実10: ＲＮＡＩは情報入手である
事実11: 結合し易くないものは棟木でなくておまけに行き難いということはない
事実12: もしなにかは行き難いとすればそれは東京大空襲でない
事実13: もしもこの抗血小板薬がＲＮＡＩならばあの重文はＲＮＡＩだ
事実14: もしもあの株主総会は食券でないとすると「その学習面は御吸い物であるしそれは結合し易い」ということは確かでない
事実15: 仮にあるものが付録であるかもしくは恨みはましくらないか両方なら食券でない

仮説: この重文は東京大空襲でない
1. 事実9と事実2から、推論1: "「その学習面はＲＮＡＩである」ということは確かである"が導かれる
2. 推論1と事実1から、推論2: "この重文は行き難い"が導かれる
3. 事実12から、推論3: "もしもこの重文が行き難いならばそれは東京大空襲でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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