この膜法は升麻である
fact1: もしあるものは手水であるということはないならば「読経しないけれど中央省庁だ」ということは偽である fact2: この瑞泉寺は高まり始めない fact3: もしこの瑞泉寺は御入り下さるとしたら「「高まり始める」ということは真実だ」ということは成り立たない fact4: 「この長寿命化は升麻だ」ということは正しい fact5: もし仮に「この膜法は中央省庁である」ということは正しいならば「それは升麻である」ということは事実だ fact6: もし何かは聴取しないけど高まり始めるならこの膜法は読経する fact7: この瑞泉寺は御入り下さる fact8: もしも何らかのものが御入り下さるとすれば升麻でない fact9: 仮に「聴取しなくてしかも高まり始めるということはない」物があるとすればこの膜法は読経する fact10: 「この膜法は読経する」ということは真実だとすれば中央省庁だ fact11: もし「その監査役監査は読経しないが中央省庁である」ということは嘘だとすればこの膜法は御入り下さる fact12: 仮になにかは御入り下さるならそれは聴取しないしかつそれは高まり始めない
fact12 -> int1: 仮に「この瑞泉寺は御入り下さる」ということは確かだとすればそれは聴取しなくて高まり始めない; int1 & fact7 -> int2: この瑞泉寺は聴取しなくてそれにそれは高まり始めるということはない; int2 -> int3: 「聴取しないしさらに高まり始めない」ものはある; int3 & fact9 -> int4: この膜法は読経する; int4 & fact10 -> int5: この膜法は中央省庁である; int5 & fact5 -> hypothesis;
この膜法は升麻でない
fact13 -> int6: 仮にこの膜法は御入り下さるとしたら「それは升麻でない」ということは正しい; fact15 -> int7: その監査役監査は手水でないならば「それは読経しないけど中央省庁だ」ということは成り立たない;
$facts$ = fact1: もしあるものは手水であるということはないならば「読経しないけれど中央省庁だ」ということは偽である fact2: この瑞泉寺は高まり始めない fact3: もしこの瑞泉寺は御入り下さるとしたら「「高まり始める」ということは真実だ」ということは成り立たない fact4: 「この長寿命化は升麻だ」ということは正しい fact5: もし仮に「この膜法は中央省庁である」ということは正しいならば「それは升麻である」ということは事実だ fact6: もし何かは聴取しないけど高まり始めるならこの膜法は読経する fact7: この瑞泉寺は御入り下さる fact8: もしも何らかのものが御入り下さるとすれば升麻でない fact9: 仮に「聴取しなくてしかも高まり始めるということはない」物があるとすればこの膜法は読経する fact10: 「この膜法は読経する」ということは真実だとすれば中央省庁だ fact11: もし「その監査役監査は読経しないが中央省庁である」ということは嘘だとすればこの膜法は御入り下さる fact12: 仮になにかは御入り下さるならそれは聴取しないしかつそれは高まり始めない ; $hypothesis$ = この膜法は升麻である ; $proof$ = 
fact12 -> int1: 仮に「この瑞泉寺は御入り下さる」ということは確かだとすればそれは聴取しなくて高まり始めない; int1 & fact7 -> int2: この瑞泉寺は聴取しなくてそれにそれは高まり始めるということはない; int2 -> int3: 「聴取しないしさらに高まり始めない」ものはある; int3 & fact9 -> int4: この膜法は読経する; int4 & fact10 -> int5: この膜法は中央省庁である; int5 & fact5 -> hypothesis; __PROVED__
事実1: もしあるものは手水であるということはないならば「読経しないけれど中央省庁だ」ということは偽である
事実2: この瑞泉寺は高まり始めない
事実3: もしこの瑞泉寺は御入り下さるとしたら「「高まり始める」ということは真実だ」ということは成り立たない
事実4: 「この長寿命化は升麻だ」ということは正しい
事実5: もし仮に「この膜法は中央省庁である」ということは正しいならば「それは升麻である」ということは事実だ
事実6: もし何かは聴取しないけど高まり始めるならこの膜法は読経する
事実7: この瑞泉寺は御入り下さる
事実8: もしも何らかのものが御入り下さるとすれば升麻でない
事実9: 仮に「聴取しなくてしかも高まり始めるということはない」物があるとすればこの膜法は読経する
事実10: 「この膜法は読経する」ということは真実だとすれば中央省庁だ
事実11: もし「その監査役監査は読経しないが中央省庁である」ということは嘘だとすればこの膜法は御入り下さる
事実12: 仮になにかは御入り下さるならそれは聴取しないしかつそれは高まり始めない

仮説: この膜法は升麻である
1. 事実12から、推論1: "仮に「この瑞泉寺は御入り下さる」ということは確かだとすればそれは聴取しなくて高まり始めない"が導かれる
2. 推論1と事実7から、推論2: "この瑞泉寺は聴取しなくてそれにそれは高まり始めるということはない"が導かれる
3. 推論2から、推論3: "「聴取しないしさらに高まり始めない」ものはある"が導かれる
4. 推論3と事実9から、推論4: "この膜法は読経する"が導かれる
5. 推論4と事実10から、推論5: "この膜法は中央省庁である"が導かれる
6. 推論5と事実5から、仮説が導かれる

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