あの追い立ては広くない
fact1: あの活性中心は実地試験だ fact2: 「あのインサイダー取り引き規制は半導体デバイスだが動き易いということはない」ということは誤っている fact3: 仮にあの活性中心は実地試験ならば「あのインサイダー取り引き規制は半導体デバイスである一方で動き易くない」ということは真実でない fact4: もし何らかのものが免れ得ないとすればそれは通夜振る舞いであるしそれは立証出来る fact5: もし「「起炎菌でないしかつ発生し続けるということはない」ということは間違っている」ものがあるとすればこの鱒は起炎菌である fact6: 「「あのインサイダー取り引き規制は半導体デバイスでないけど動き易い」ということは本当である」ということは偽だ fact7: 「「起炎菌でないし発生し続けない」ということは成り立たない」物はある fact8: 「この鱒は動き易い一方で免れ得ない」ということは本当でない fact9: 仮にあの活性中心は実地試験であるとしたら「あのインサイダー取り引き規制は半導体デバイスでないがしかしそれは動き易い」ということは誤っている fact10: もしもこの増殖能は通夜振る舞いでないなら「この鱒は免れ得るが立証出来ない」ということは成り立たない fact11: もしもなんらかの物が免れ得ないとするとそれが立証出来るしその上通夜振る舞いだ fact12: 通夜振る舞いは広いけど実地試験でない fact13: 仮にこの鱒が終息であるしそれが起炎菌ならあの追い立ては広くない fact14: 「この鱒は免れ得るけれど立証出来ない」ということは本当でないとすれば終息だ fact15: もしこの増殖能は通夜振る舞いでないとすれば「この鱒は免れ得るし立証出来る」ということは成り立たない fact16: 仮に「あのインサイダー取り引き規制は半導体デバイスであるということはないししかもそれは動き易くない」ということは間違いであるとしたらこの増殖能は通夜振る舞いでない fact17: もし仮にあの活性中心は実地試験であるとすると「あのインサイダー取り引き規制は半導体デバイスでないししかも動き易くない」ということは嘘である
fact17 & fact1 -> int1: 「あのインサイダー取り引き規制は半導体デバイスでないし動き易くない」ということは事実と異なる; int1 & fact16 -> int2: この増殖能は通夜振る舞いでない; int2 & fact10 -> int3: 「この鱒は免れ得るがしかしそれは立証出来るということはない」ということは成り立つということはない; int3 & fact14 -> int4: 「この鱒は終息だ」ということは本当である; fact7 & fact5 -> int5: この鱒は起炎菌だ; int4 & int5 -> int6: この鱒は終息であるしそれは起炎菌だ; int6 & fact13 -> hypothesis;
あの活性中心は広い
fact18 -> int7: もしも「この増殖能は免れ得ない」ということは確かであるとすればそれは通夜振る舞いであるしかつ立証出来る;
$facts$ = fact1: あの活性中心は実地試験だ fact2: 「あのインサイダー取り引き規制は半導体デバイスだが動き易いということはない」ということは誤っている fact3: 仮にあの活性中心は実地試験ならば「あのインサイダー取り引き規制は半導体デバイスである一方で動き易くない」ということは真実でない fact4: もし何らかのものが免れ得ないとすればそれは通夜振る舞いであるしそれは立証出来る fact5: もし「「起炎菌でないしかつ発生し続けるということはない」ということは間違っている」ものがあるとすればこの鱒は起炎菌である fact6: 「「あのインサイダー取り引き規制は半導体デバイスでないけど動き易い」ということは本当である」ということは偽だ fact7: 「「起炎菌でないし発生し続けない」ということは成り立たない」物はある fact8: 「この鱒は動き易い一方で免れ得ない」ということは本当でない fact9: 仮にあの活性中心は実地試験であるとしたら「あのインサイダー取り引き規制は半導体デバイスでないがしかしそれは動き易い」ということは誤っている fact10: もしもこの増殖能は通夜振る舞いでないなら「この鱒は免れ得るが立証出来ない」ということは成り立たない fact11: もしもなんらかの物が免れ得ないとするとそれが立証出来るしその上通夜振る舞いだ fact12: 通夜振る舞いは広いけど実地試験でない fact13: 仮にこの鱒が終息であるしそれが起炎菌ならあの追い立ては広くない fact14: 「この鱒は免れ得るけれど立証出来ない」ということは本当でないとすれば終息だ fact15: もしこの増殖能は通夜振る舞いでないとすれば「この鱒は免れ得るし立証出来る」ということは成り立たない fact16: 仮に「あのインサイダー取り引き規制は半導体デバイスであるということはないししかもそれは動き易くない」ということは間違いであるとしたらこの増殖能は通夜振る舞いでない fact17: もし仮にあの活性中心は実地試験であるとすると「あのインサイダー取り引き規制は半導体デバイスでないししかも動き易くない」ということは嘘である ; $hypothesis$ = あの追い立ては広くない ; $proof$ = 
fact17 & fact1 -> int1: 「あのインサイダー取り引き規制は半導体デバイスでないし動き易くない」ということは事実と異なる; int1 & fact16 -> int2: この増殖能は通夜振る舞いでない; int2 & fact10 -> int3: 「この鱒は免れ得るがしかしそれは立証出来るということはない」ということは成り立つということはない; int3 & fact14 -> int4: 「この鱒は終息だ」ということは本当である; fact7 & fact5 -> int5: この鱒は起炎菌だ; int4 & int5 -> int6: この鱒は終息であるしそれは起炎菌だ; int6 & fact13 -> hypothesis; __PROVED__
事実1: あの活性中心は実地試験だ
事実2: 「あのインサイダー取り引き規制は半導体デバイスだが動き易いということはない」ということは誤っている
事実3: 仮にあの活性中心は実地試験ならば「あのインサイダー取り引き規制は半導体デバイスである一方で動き易くない」ということは真実でない
事実4: もし何らかのものが免れ得ないとすればそれは通夜振る舞いであるしそれは立証出来る
事実5: もし「「起炎菌でないしかつ発生し続けるということはない」ということは間違っている」ものがあるとすればこの鱒は起炎菌である
事実6: 「「あのインサイダー取り引き規制は半導体デバイスでないけど動き易い」ということは本当である」ということは偽だ
事実7: 「「起炎菌でないし発生し続けない」ということは成り立たない」物はある
事実8: 「この鱒は動き易い一方で免れ得ない」ということは本当でない
事実9: 仮にあの活性中心は実地試験であるとしたら「あのインサイダー取り引き規制は半導体デバイスでないがしかしそれは動き易い」ということは誤っている
事実10: もしもこの増殖能は通夜振る舞いでないなら「この鱒は免れ得るが立証出来ない」ということは成り立たない
事実11: もしもなんらかの物が免れ得ないとするとそれが立証出来るしその上通夜振る舞いだ
事実12: 通夜振る舞いは広いけど実地試験でない
事実13: 仮にこの鱒が終息であるしそれが起炎菌ならあの追い立ては広くない
事実14: 「この鱒は免れ得るけれど立証出来ない」ということは本当でないとすれば終息だ
事実15: もしこの増殖能は通夜振る舞いでないとすれば「この鱒は免れ得るし立証出来る」ということは成り立たない
事実16: 仮に「あのインサイダー取り引き規制は半導体デバイスであるということはないししかもそれは動き易くない」ということは間違いであるとしたらこの増殖能は通夜振る舞いでない
事実17: もし仮にあの活性中心は実地試験であるとすると「あのインサイダー取り引き規制は半導体デバイスでないししかも動き易くない」ということは嘘である

仮説: あの追い立ては広くない
1. 事実17と事実1から、推論1: "「あのインサイダー取り引き規制は半導体デバイスでないし動き易くない」ということは事実と異なる"が導かれる
2. 推論1と事実16から、推論2: "この増殖能は通夜振る舞いでない"が導かれる
3. 推論2と事実10から、推論3: "「この鱒は免れ得るがしかしそれは立証出来るということはない」ということは成り立つということはない"が導かれる
4. 推論3と事実14から、推論4: "「この鱒は終息だ」ということは本当である"が導かれる
5. 事実7と事実5から、推論5: "この鱒は起炎菌だ"が導かれる
6. 推論4と推論5から、推論6: "この鱒は終息であるしそれは起炎菌だ"が導かれる
7. 推論6と事実13から、仮説が導かれる

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