この制御盤は投資法でない
fact1: 「あの液状フェノールは成唯識論である」ということは誤っていない fact2: うら若しということはない物はパッピンスであるかもしくはイベント用であるかあるいはどちらもである fact3: そのさせ方は前進出来る fact4: もし仮に「その民事再生手続きはパッピンスでない」ということは間違っているとするとあの液状フェノールは冷凍する一方で前進出来ない fact5: 仮にあの液状フェノールが冷凍するしかつそれが前進出来るとしたらそのさせ方はイベント用である fact6: その民事再生手続きはパッピンスである fact7: もし「うら若しない」物はあれば「その民事再生手続きは判決すらないがしかしうら若し」ということは真実でない fact8: もしもあの液状フェノールが冷凍するけれど前進出来ないならそのさせ方はイベント用だ fact9: 「あの元捕虜はうら若し」ということは確かであるならばその販売費は数文字である fact10: 「あの液状フェノールはイベント用であるということはないが前進出来る」ということは正しくない fact11: もし仮にその民事再生手続きがうら若しないがしかし数文字だとすればあの制御盤はうら若しない fact12: 仮にその販売費は数文字だとすれば「この贔屓は数文字でないがしかし成唯識論だ」ということは本当でない fact13: もし仮に「この贔屓は数文字でないけど成唯識論だ」ということは誤っているとすればこの制御盤は投資法でない fact14: もし仮にあの液状フェノールはイベント用であるがしかし投資法でないとすれば「この制御盤は前進出来る」ということは間違いであるということはない fact15: 「そのさせ方はイベント用である」ということは真実であるとしたらあの元捕虜はうら若し fact16: 「うら若しない」物はある fact17: 仮に「その民事再生手続きは判決すらない一方でうら若し」ということは成り立たないとすると「それはうら若しということはない」ということは成り立つ fact18: イベント用は投資法であるけれどパッピンスでない
fact4 & fact6 -> int1: あの液状フェノールは冷凍するがそれは前進出来るということはない; int1 & fact8 -> int2: そのさせ方はイベント用である; int2 & fact15 -> int3: あの元捕虜はうら若し; int3 & fact9 -> int4: その販売費は数文字である; int4 & fact12 -> int5: 「この贔屓は数文字でない一方で成唯識論である」ということは確かだということはない; int5 & fact13 -> hypothesis;
あの蛇ＡＴは投資法である
fact19 -> int6: あの蛇ＡＴがイベント用であるとすれば投資法であるし加えてそれはパッピンスでない;
$facts$ = fact1: 「あの液状フェノールは成唯識論である」ということは誤っていない fact2: うら若しということはない物はパッピンスであるかもしくはイベント用であるかあるいはどちらもである fact3: そのさせ方は前進出来る fact4: もし仮に「その民事再生手続きはパッピンスでない」ということは間違っているとするとあの液状フェノールは冷凍する一方で前進出来ない fact5: 仮にあの液状フェノールが冷凍するしかつそれが前進出来るとしたらそのさせ方はイベント用である fact6: その民事再生手続きはパッピンスである fact7: もし「うら若しない」物はあれば「その民事再生手続きは判決すらないがしかしうら若し」ということは真実でない fact8: もしもあの液状フェノールが冷凍するけれど前進出来ないならそのさせ方はイベント用だ fact9: 「あの元捕虜はうら若し」ということは確かであるならばその販売費は数文字である fact10: 「あの液状フェノールはイベント用であるということはないが前進出来る」ということは正しくない fact11: もし仮にその民事再生手続きがうら若しないがしかし数文字だとすればあの制御盤はうら若しない fact12: 仮にその販売費は数文字だとすれば「この贔屓は数文字でないがしかし成唯識論だ」ということは本当でない fact13: もし仮に「この贔屓は数文字でないけど成唯識論だ」ということは誤っているとすればこの制御盤は投資法でない fact14: もし仮にあの液状フェノールはイベント用であるがしかし投資法でないとすれば「この制御盤は前進出来る」ということは間違いであるということはない fact15: 「そのさせ方はイベント用である」ということは真実であるとしたらあの元捕虜はうら若し fact16: 「うら若しない」物はある fact17: 仮に「その民事再生手続きは判決すらない一方でうら若し」ということは成り立たないとすると「それはうら若しということはない」ということは成り立つ fact18: イベント用は投資法であるけれどパッピンスでない ; $hypothesis$ = この制御盤は投資法でない ; $proof$ = 
fact4 & fact6 -> int1: あの液状フェノールは冷凍するがそれは前進出来るということはない; int1 & fact8 -> int2: そのさせ方はイベント用である; int2 & fact15 -> int3: あの元捕虜はうら若し; int3 & fact9 -> int4: その販売費は数文字である; int4 & fact12 -> int5: 「この贔屓は数文字でない一方で成唯識論である」ということは確かだということはない; int5 & fact13 -> hypothesis; __PROVED__
事実1: 「あの液状フェノールは成唯識論である」ということは誤っていない
事実2: うら若しということはない物はパッピンスであるかもしくはイベント用であるかあるいはどちらもである
事実3: そのさせ方は前進出来る
事実4: もし仮に「その民事再生手続きはパッピンスでない」ということは間違っているとするとあの液状フェノールは冷凍する一方で前進出来ない
事実5: 仮にあの液状フェノールが冷凍するしかつそれが前進出来るとしたらそのさせ方はイベント用である
事実6: その民事再生手続きはパッピンスである
事実7: もし「うら若しない」物はあれば「その民事再生手続きは判決すらないがしかしうら若し」ということは真実でない
事実8: もしもあの液状フェノールが冷凍するけれど前進出来ないならそのさせ方はイベント用だ
事実9: 「あの元捕虜はうら若し」ということは確かであるならばその販売費は数文字である
事実10: 「あの液状フェノールはイベント用であるということはないが前進出来る」ということは正しくない
事実11: もし仮にその民事再生手続きがうら若しないがしかし数文字だとすればあの制御盤はうら若しない
事実12: 仮にその販売費は数文字だとすれば「この贔屓は数文字でないがしかし成唯識論だ」ということは本当でない
事実13: もし仮に「この贔屓は数文字でないけど成唯識論だ」ということは誤っているとすればこの制御盤は投資法でない
事実14: もし仮にあの液状フェノールはイベント用であるがしかし投資法でないとすれば「この制御盤は前進出来る」ということは間違いであるということはない
事実15: 「そのさせ方はイベント用である」ということは真実であるとしたらあの元捕虜はうら若し
事実16: 「うら若しない」物はある
事実17: 仮に「その民事再生手続きは判決すらない一方でうら若し」ということは成り立たないとすると「それはうら若しということはない」ということは成り立つ
事実18: イベント用は投資法であるけれどパッピンスでない

仮説: この制御盤は投資法でない
1. 事実4と事実6から、推論1: "あの液状フェノールは冷凍するがそれは前進出来るということはない"が導かれる
2. 推論1と事実8から、推論2: "そのさせ方はイベント用である"が導かれる
3. 推論2と事実15から、推論3: "あの元捕虜はうら若し"が導かれる
4. 推論3と事実9から、推論4: "その販売費は数文字である"が導かれる
5. 推論4と事実12から、推論5: "「この贔屓は数文字でない一方で成唯識論である」ということは確かだということはない"が導かれる
6. 推論5と事実13から、仮説が導かれる

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