あの何冊は昼食時である
fact1: 「「この西鉄ライオンズが軽快しないしさらにそれは昼食時でない」ということは成り立つ」ということは事実と異なる fact2: 「「あの何冊は軽快しなくてそれにそれは動機付けない」ということは成り立つ」ということは間違いだとすると「この西鉄ライオンズはたじろがない」ということは成り立つ fact3: 「この西鉄ライオンズは苛めでなくてたじろがない」ということは成り立たない fact4: 「「たじろがない」ということは真実である」ものはある fact5: この高度消費社会は苛めだ fact6: もし仮になんらかのものは圧縮効率であるということはないとしたら「この西鉄ライオンズは軽快しなくて更にそれはたじろがない」ということは事実でない fact7: 「この西鉄ライオンズは軽快するということはないがしかしそれはたじろぐ」ということは成り立たない fact8: もしも「たじろがない」ものはあるとすると「あの何冊は軽快しないしさらに昼食時だということはない」ということは成り立つということはない fact9: もし仮にあるものはたじろがないならば「あの何冊は動機付けるけれど苛めでない」ということは本当でない fact10: もし仮に「圧縮効率でない」ものはあるなら「この西鉄ライオンズは軽快しない一方でたじろぐ」ということは偽だ fact11: 「あの何冊は苛めである」ということは事実だ fact12: もし仮に何かは苛めだということはないなら「動機付けるけどたじろがない」ということは誤りである fact13: 仮にあの何冊が動機付けないけど苛めであるとすると「それは昼食時であるということはない」ということは事実である fact14: もし「軽快しない」物はあるとすれば「あの何冊は苛めでないがしかし昼食時である」ということは嘘である fact15: もし仮に「この西鉄ライオンズは軽快しないしその上それはたじろがない」ということは間違いならあの何冊は動機付けない fact16: 仮にこの西鉄ライオンズが軽快しないとすればあの何冊は圧縮効率であるしさらに昼食時である fact17: 「圧縮効率でない」ものはある fact18: もしこの高度消費社会が苛めでメンバー数だとするとこの西鉄ライオンズは苛めでない
fact17 & fact6 -> int1: 「この西鉄ライオンズは軽快するということはないしたじろがない」ということは事実と異なる; int1 & fact15 -> int2: あの何冊は動機付けない; int2 & fact11 -> int3: あの何冊は動機付けないがしかし苛めである; int3 & fact13 -> hypothesis;
あの何冊は昼食時だ
fact21 -> int4: もしこの西鉄ライオンズは苛めでないとしたら「それは動機付けるし更にたじろがない」ということは成り立たない;
$facts$ = fact1: 「「この西鉄ライオンズが軽快しないしさらにそれは昼食時でない」ということは成り立つ」ということは事実と異なる fact2: 「「あの何冊は軽快しなくてそれにそれは動機付けない」ということは成り立つ」ということは間違いだとすると「この西鉄ライオンズはたじろがない」ということは成り立つ fact3: 「この西鉄ライオンズは苛めでなくてたじろがない」ということは成り立たない fact4: 「「たじろがない」ということは真実である」ものはある fact5: この高度消費社会は苛めだ fact6: もし仮になんらかのものは圧縮効率であるということはないとしたら「この西鉄ライオンズは軽快しなくて更にそれはたじろがない」ということは事実でない fact7: 「この西鉄ライオンズは軽快するということはないがしかしそれはたじろぐ」ということは成り立たない fact8: もしも「たじろがない」ものはあるとすると「あの何冊は軽快しないしさらに昼食時だということはない」ということは成り立つということはない fact9: もし仮にあるものはたじろがないならば「あの何冊は動機付けるけれど苛めでない」ということは本当でない fact10: もし仮に「圧縮効率でない」ものはあるなら「この西鉄ライオンズは軽快しない一方でたじろぐ」ということは偽だ fact11: 「あの何冊は苛めである」ということは事実だ fact12: もし仮に何かは苛めだということはないなら「動機付けるけどたじろがない」ということは誤りである fact13: 仮にあの何冊が動機付けないけど苛めであるとすると「それは昼食時であるということはない」ということは事実である fact14: もし「軽快しない」物はあるとすれば「あの何冊は苛めでないがしかし昼食時である」ということは嘘である fact15: もし仮に「この西鉄ライオンズは軽快しないしその上それはたじろがない」ということは間違いならあの何冊は動機付けない fact16: 仮にこの西鉄ライオンズが軽快しないとすればあの何冊は圧縮効率であるしさらに昼食時である fact17: 「圧縮効率でない」ものはある fact18: もしこの高度消費社会が苛めでメンバー数だとするとこの西鉄ライオンズは苛めでない ; $hypothesis$ = あの何冊は昼食時である ; $proof$ = 
fact17 & fact6 -> int1: 「この西鉄ライオンズは軽快するということはないしたじろがない」ということは事実と異なる; int1 & fact15 -> int2: あの何冊は動機付けない; int2 & fact11 -> int3: あの何冊は動機付けないがしかし苛めである; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: 「「この西鉄ライオンズが軽快しないしさらにそれは昼食時でない」ということは成り立つ」ということは事実と異なる
事実2: 「「あの何冊は軽快しなくてそれにそれは動機付けない」ということは成り立つ」ということは間違いだとすると「この西鉄ライオンズはたじろがない」ということは成り立つ
事実3: 「この西鉄ライオンズは苛めでなくてたじろがない」ということは成り立たない
事実4: 「「たじろがない」ということは真実である」ものはある
事実5: この高度消費社会は苛めだ
事実6: もし仮になんらかのものは圧縮効率であるということはないとしたら「この西鉄ライオンズは軽快しなくて更にそれはたじろがない」ということは事実でない
事実7: 「この西鉄ライオンズは軽快するということはないがしかしそれはたじろぐ」ということは成り立たない
事実8: もしも「たじろがない」ものはあるとすると「あの何冊は軽快しないしさらに昼食時だということはない」ということは成り立つということはない
事実9: もし仮にあるものはたじろがないならば「あの何冊は動機付けるけれど苛めでない」ということは本当でない
事実10: もし仮に「圧縮効率でない」ものはあるなら「この西鉄ライオンズは軽快しない一方でたじろぐ」ということは偽だ
事実11: 「あの何冊は苛めである」ということは事実だ
事実12: もし仮に何かは苛めだということはないなら「動機付けるけどたじろがない」ということは誤りである
事実13: 仮にあの何冊が動機付けないけど苛めであるとすると「それは昼食時であるということはない」ということは事実である
事実14: もし「軽快しない」物はあるとすれば「あの何冊は苛めでないがしかし昼食時である」ということは嘘である
事実15: もし仮に「この西鉄ライオンズは軽快しないしその上それはたじろがない」ということは間違いならあの何冊は動機付けない
事実16: 仮にこの西鉄ライオンズが軽快しないとすればあの何冊は圧縮効率であるしさらに昼食時である
事実17: 「圧縮効率でない」ものはある
事実18: もしこの高度消費社会が苛めでメンバー数だとするとこの西鉄ライオンズは苛めでない

仮説: あの何冊は昼食時である
1. 事実17と事実6から、推論1: "「この西鉄ライオンズは軽快するということはないしたじろがない」ということは事実と異なる"が導かれる
2. 推論1と事実15から、推論2: "あの何冊は動機付けない"が導かれる
3. 推論2と事実11から、推論3: "あの何冊は動機付けないがしかし苛めである"が導かれる
4. 推論3と事実13から、仮説が否定される

よって、仮説が否定されました。