その秀作はイロニーだ
fact1: もし「あの直線は信心しないが眠り続ける」ということは事実と異なるならその秀作はイロニーである fact2: もしこの探索が残せるとしたらそれは無罪放免であるかまたは混合しないかまたは両方ともである fact3: とある物は国体であるとすれば「信心しないし眠り続ける」ということは誤りだ fact4: その秀作が切り出さないならばそのＡＤＡ活性は甘いしさらにそれは沿岸部である fact5: あの直線は国体であるしさらにそれは甘い fact6: 「人間様でない」物はあるとすれば「「「その秀作は切り出すし加えてそれは叫び声である」ということは真実だ」ということは成り立たない」ということは成り立つ fact7: 仮に「何らかの物が汚らしいしその上それは人間様である」ということは嘘であるとすると人間様でない fact8: その少人数私募債は客引きでない fact9: あの直線は甘い fact10: 立脚はイロニーだ fact11: 「その秀作は甘くないがイロニーである」ということは事実と異なる fact12: もしも「イロニーな」物があればそのＡＤＡ活性は国体であるしおまけにそれは雪深い fact13: この触発は支店長印であるし甘い fact14: 「何かは切り出すし更に叫び声だ」ということは誤りだとすればそれは切り出さない fact15: この下行結腸は国体だ fact16: もしその少人数私募債は客引きでないとしたら「汚らしくて人間様である」ということは成り立たない fact17: 仮にその演奏が人間様であるとすればその少人数私募債は切り出す fact18: もしも「その演奏は混合しない」ということは確かだとすれば「その複利は好人物でなくて立脚でない」ということは間違っている fact19: もし仮になにがしかのものが切り出すなら国体でなくてそれは甘い fact20: 仮に「なんらかの物は好人物でないし立脚であるということはない」ということは偽だとすればそれは立脚だ fact21: もし何かは無罪放免であるか混合するということはないかもしくはどちらもであるならばその演奏は混合しない fact22: この探索は残せる
fact3 -> int1: 仮にあの直線は国体なら「それは信心するということはなくて眠り続ける」ということは成り立つということはない; fact5 -> int2: あの直線は国体である; int1 & int2 -> int3: 「あの直線は信心しないけど眠り続ける」ということは誤りだ; int3 & fact1 -> hypothesis;
そのＡＤＡ活性は沿岸部であるし雪深い
fact31 -> int4: 「「その秀作は切り出すし叫び声である」ということは確かでない」ということは成り立つとしたら切り出さない; fact32 -> int5: もし「「その少人数私募債は汚らしくてそれは人間様である」ということは事実と異なる」ということは成り立つとしたら人間様でない; fact35 & fact30 -> int6: 「その少人数私募債は汚らしいしおまけに人間様だ」ということは成り立たない; int5 & int6 -> int7: その少人数私募債は人間様だということはない; int7 -> int8: 「「人間様でない」ということは成り立つ」ものはある; int8 & fact33 -> int9: 「その秀作は切り出すしそれに叫び声だ」ということは誤っている; int4 & int9 -> int10: その秀作は切り出さない; fact23 & int10 -> int11: そのＡＤＡ活性は甘くてかつ沿岸部だ; int11 -> int12: そのＡＤＡ活性は沿岸部だ; fact26 -> int13: もし「その複利は立脚である」ということは本当だとするとそれはイロニーである; fact24 -> int14: もし「その複利は好人物でなくて立脚でない」ということは間違いであるなら立脚である; fact29 & fact27 -> int15: この探索は無罪放免であるかもしくは混合しない; int15 -> int16: 「無罪放免であるかあるいは混合しない」物はある; int16 & fact34 -> int17: その演奏は混合しない; fact28 & int17 -> int18: 「その複利は好人物でないしその上立脚でない」ということは確かでない; int14 & int18 -> int19: その複利は立脚だ; int13 & int19 -> int20: その複利はイロニーだ; int20 -> int21: 「イロニーな」物はある; int21 & fact25 -> int22: そのＡＤＡ活性は国体であるし加えて雪深い; int22 -> int23: そのＡＤＡ活性は雪深い; int12 & int23 -> hypothesis;
$facts$ = fact1: もし「あの直線は信心しないが眠り続ける」ということは事実と異なるならその秀作はイロニーである fact2: もしこの探索が残せるとしたらそれは無罪放免であるかまたは混合しないかまたは両方ともである fact3: とある物は国体であるとすれば「信心しないし眠り続ける」ということは誤りだ fact4: その秀作が切り出さないならばそのＡＤＡ活性は甘いしさらにそれは沿岸部である fact5: あの直線は国体であるしさらにそれは甘い fact6: 「人間様でない」物はあるとすれば「「「その秀作は切り出すし加えてそれは叫び声である」ということは真実だ」ということは成り立たない」ということは成り立つ fact7: 仮に「何らかの物が汚らしいしその上それは人間様である」ということは嘘であるとすると人間様でない fact8: その少人数私募債は客引きでない fact9: あの直線は甘い fact10: 立脚はイロニーだ fact11: 「その秀作は甘くないがイロニーである」ということは事実と異なる fact12: もしも「イロニーな」物があればそのＡＤＡ活性は国体であるしおまけにそれは雪深い fact13: この触発は支店長印であるし甘い fact14: 「何かは切り出すし更に叫び声だ」ということは誤りだとすればそれは切り出さない fact15: この下行結腸は国体だ fact16: もしその少人数私募債は客引きでないとしたら「汚らしくて人間様である」ということは成り立たない fact17: 仮にその演奏が人間様であるとすればその少人数私募債は切り出す fact18: もしも「その演奏は混合しない」ということは確かだとすれば「その複利は好人物でなくて立脚でない」ということは間違っている fact19: もし仮になにがしかのものが切り出すなら国体でなくてそれは甘い fact20: 仮に「なんらかの物は好人物でないし立脚であるということはない」ということは偽だとすればそれは立脚だ fact21: もし何かは無罪放免であるか混合するということはないかもしくはどちらもであるならばその演奏は混合しない fact22: この探索は残せる ; $hypothesis$ = その秀作はイロニーだ ; $proof$ = 
fact3 -> int1: 仮にあの直線は国体なら「それは信心するということはなくて眠り続ける」ということは成り立つということはない; fact5 -> int2: あの直線は国体である; int1 & int2 -> int3: 「あの直線は信心しないけど眠り続ける」ということは誤りだ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの直線は信心しないが眠り続ける」ということは事実と異なるならその秀作はイロニーである
事実2: もしこの探索が残せるとしたらそれは無罪放免であるかまたは混合しないかまたは両方ともである
事実3: とある物は国体であるとすれば「信心しないし眠り続ける」ということは誤りだ
事実4: その秀作が切り出さないならばそのＡＤＡ活性は甘いしさらにそれは沿岸部である
事実5: あの直線は国体であるしさらにそれは甘い
事実6: 「人間様でない」物はあるとすれば「「「その秀作は切り出すし加えてそれは叫び声である」ということは真実だ」ということは成り立たない」ということは成り立つ
事実7: 仮に「何らかの物が汚らしいしその上それは人間様である」ということは嘘であるとすると人間様でない
事実8: その少人数私募債は客引きでない
事実9: あの直線は甘い
事実10: 立脚はイロニーだ
事実11: 「その秀作は甘くないがイロニーである」ということは事実と異なる
事実12: もしも「イロニーな」物があればそのＡＤＡ活性は国体であるしおまけにそれは雪深い
事実13: この触発は支店長印であるし甘い
事実14: 「何かは切り出すし更に叫び声だ」ということは誤りだとすればそれは切り出さない
事実15: この下行結腸は国体だ
事実16: もしその少人数私募債は客引きでないとしたら「汚らしくて人間様である」ということは成り立たない
事実17: 仮にその演奏が人間様であるとすればその少人数私募債は切り出す
事実18: もしも「その演奏は混合しない」ということは確かだとすれば「その複利は好人物でなくて立脚でない」ということは間違っている
事実19: もし仮になにがしかのものが切り出すなら国体でなくてそれは甘い
事実20: 仮に「なんらかの物は好人物でないし立脚であるということはない」ということは偽だとすればそれは立脚だ
事実21: もし何かは無罪放免であるか混合するということはないかもしくはどちらもであるならばその演奏は混合しない
事実22: この探索は残せる

仮説: その秀作はイロニーだ
1. 事実3から、推論1: "仮にあの直線は国体なら「それは信心するということはなくて眠り続ける」ということは成り立つということはない"が導かれる
2. 事実5から、推論2: "あの直線は国体である"が導かれる
3. 推論1と推論2から、推論3: "「あの直線は信心しないけど眠り続ける」ということは誤りだ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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