あの金光寺はすごーいが九月末現在でない
fact1: 仮にとある物はエコロジーだということはないとすると「すごーいけど九月末現在であるということはない」ということは成り立つということはない fact2: もし仮にそのエクセルデータが感応するとしたら虚脱する fact3: 幼しない物は行き違うけれどエコロジーでない fact4: 「あの金光寺はすごーいが素人っぽくない」ということは事実である fact5: 仮に何かはＭ三Ｃだということはないとすると「それは灯火であるかあるいは裁縫でないかもしくはどちらもだ」ということは成り立たない fact6: そのエクセルデータはインスマスである fact7: もし仮にとあるものはインスマスであるならば感応する fact8: あの金光寺はすごーい fact9: 何もかもはＭ三Ｃでない fact10: このガラス板はすごーくない fact11: 何らかの物は虚脱するし御挨拶申し上げるなら幼しない fact12: あの金光寺はすごーいがそれは九月末現在でない
fact12 -> hypothesis;
fact12 -> hypothesis;
そのエクセルデータは行き違うけれどエコロジーでない
fact16 -> int1: そのエクセルデータは幼しということはないならばそれは行き違うがエコロジーでない; fact17 -> int2: もしもそのエクセルデータは虚脱するしさらに御挨拶申し上げるなら幼しない; fact13 -> int3: もし「そのエクセルデータはインスマスである」ということは確かであるとしたら感応する; fact14 & int3 -> int4: 「そのエクセルデータは感応する」ということは成り立つ; int4 & fact19 -> int5: そのエクセルデータは虚脱する; fact18 -> int6: 仮にこの機能理論はＭ三Ｃでないならば「それは灯火であるかもしくは裁縫でないか両方だ」ということは成り立たない; fact15 -> int7: この機能理論はＭ三Ｃであるということはない; int6 & int7 -> int8: 「この機能理論は灯火であるかそれは裁縫でない」ということは成り立たない; int8 -> int9: それは灯火であるかあるいはそれは裁縫でないかあるいはどちらもだというものはない; int9 -> int10: 「あの金光寺は灯火であるかあるいは裁縫でないかまたは両方ともだ」ということは成り立たない;
$facts$ = fact1: 仮にとある物はエコロジーだということはないとすると「すごーいけど九月末現在であるということはない」ということは成り立つということはない fact2: もし仮にそのエクセルデータが感応するとしたら虚脱する fact3: 幼しない物は行き違うけれどエコロジーでない fact4: 「あの金光寺はすごーいが素人っぽくない」ということは事実である fact5: 仮に何かはＭ三Ｃだということはないとすると「それは灯火であるかあるいは裁縫でないかもしくはどちらもだ」ということは成り立たない fact6: そのエクセルデータはインスマスである fact7: もし仮にとあるものはインスマスであるならば感応する fact8: あの金光寺はすごーい fact9: 何もかもはＭ三Ｃでない fact10: このガラス板はすごーくない fact11: 何らかの物は虚脱するし御挨拶申し上げるなら幼しない fact12: あの金光寺はすごーいがそれは九月末現在でない ; $hypothesis$ = あの金光寺はすごーいが九月末現在でない ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 仮にとある物はエコロジーだということはないとすると「すごーいけど九月末現在であるということはない」ということは成り立つということはない
事実2: もし仮にそのエクセルデータが感応するとしたら虚脱する
事実3: 幼しない物は行き違うけれどエコロジーでない
事実4: 「あの金光寺はすごーいが素人っぽくない」ということは事実である
事実5: 仮に何かはＭ三Ｃだということはないとすると「それは灯火であるかあるいは裁縫でないかもしくはどちらもだ」ということは成り立たない
事実6: そのエクセルデータはインスマスである
事実7: もし仮にとあるものはインスマスであるならば感応する
事実8: あの金光寺はすごーい
事実9: 何もかもはＭ三Ｃでない
事実10: このガラス板はすごーくない
事実11: 何らかの物は虚脱するし御挨拶申し上げるなら幼しない
事実12: あの金光寺はすごーいがそれは九月末現在でない

仮説: あの金光寺はすごーいが九月末現在でない
1. 事実12から、仮説が導かれる

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