「あの苦節はしゃきっとするけれどそれは印刷イメージであるということはない」ということは確かでない
fact1: もしもあるものは支え続けるということはないならば「置き易いかまたは酔態でないかあるいは両方だ」ということは成り立たない fact2: この額等が支え続けるということはない一方で受け辛いならばこの好機は支え続けない fact3: もしもなんらかの物は酔態でないとするとそれは正しない fact4: 仮に「「受け難い一方で退職しない」ということは偽な」ものがあるとすればこの対象商品は受け難くない fact5: もし仮に「「申し合わせるしかつ侘住まいだ」ということは成り立たない」ものがあるならばあのウォー＆ピースは申し合わせるということはない fact6: あの苦節は間断無い fact7: 「もしも「この好機は置き易いかあるいは酔態でないか両方だ」ということは成り立つということはないとすればあの支持線は酔態でない」ということは本当である fact8: 「「「申し合わせるし侘住まいだ」ということは事実と異なる」ものはある」ということは確かだ fact9: 仮にこのウォー＆ピースは申し合わせないとしたら「受け難い一方で退職しない」ということは事実と異なる fact10: もしあの苦節は香ばしかないとすると「それはしゃきっとするしかつそれは印刷イメージだ」ということは間違っている fact11: その没年はしゃきっとするということはない fact12: 「あるものは香ばしいということはないなら「それがしゃきっとするしその上印刷イメージでない」ということは誤りだ」ということは事実である fact13: もし仮にとあるものは正しないとすると「それは冗談ぽい一方で香ばしかない」ということは事実と異なる fact14: もしその生成機構が間断無いということはないとするとあの苦節はしゃきっとするけれど印刷イメージでない fact15: もし何らかの物は香ばしかないなら「それはしゃきっとするしさらに印刷イメージである」ということは誤っている fact16: あの苦節は冗談ぽい fact17: 間断無いものは冗談ぽいなら「香ばしいということはない」ということは誤りでない fact18: もし仮に「この対象商品は受け難くない」ということは成り立てばこの額等は支え続けない一方で受け辛い fact19: 「あの苦節はしゃきっとするしそれは印刷イメージである」ということは間違いだ
fact6 & fact16 -> int1: あの苦節は間断無いし冗談ぽい; fact17 -> int2: もし仮にあの苦節が間断無いし加えて冗談ぽいとしたら香ばしかない; int1 & int2 -> int3: あの苦節は香ばしかない; fact12 -> int4: あの苦節は香ばしかないならば「それはしゃきっとするしおまけにそれは印刷イメージでない」ということは誤っている; int3 & int4 -> hypothesis;
あの苦節はしゃきっとする一方で印刷イメージでない
fact20 -> int5: もし仮にあの支持線は正しということはないなら「冗談ぽいけど香ばしかない」ということは誤っている; fact21 -> int6: 仮にあの支持線が酔態でないとすればそれは正しということはない; fact25 -> int7: もしもこの好機は支え続けないとすると「それは置き易いか酔態でないか両方である」ということは誤っている; fact24 & fact22 -> int8: このウォー＆ピースは申し合わせるということはない; fact30 & int8 -> int9: 「このウォー＆ピースは受け難いけど退職しない」ということは間違っている; int9 -> int10: 「「受け難くて加えて退職しない」ということは成り立たない」物はある; int10 & fact27 -> int11: この対象商品は受け難くない; fact29 & int11 -> int12: この額等は支え続けない一方で受け辛い; fact26 & int12 -> int13: この好機は支え続けない; int7 & int13 -> int14: 「この好機は置き易いかもしくはそれは酔態だということはないかあるいはどちらもである」ということは成り立つということはない; fact23 & int14 -> int15: あの支持線は酔態でない; int6 & int15 -> int16: あの支持線は正しない; int5 & int16 -> int17: 「あの支持線は冗談ぽいがしかしそれは香ばしかない」ということは嘘である; int17 -> int18: 「「冗談ぽいけれど香ばしかない」ということは間違っている」物はある;
$facts$ = fact1: もしもあるものは支え続けるということはないならば「置き易いかまたは酔態でないかあるいは両方だ」ということは成り立たない fact2: この額等が支え続けるということはない一方で受け辛いならばこの好機は支え続けない fact3: もしもなんらかの物は酔態でないとするとそれは正しない fact4: 仮に「「受け難い一方で退職しない」ということは偽な」ものがあるとすればこの対象商品は受け難くない fact5: もし仮に「「申し合わせるしかつ侘住まいだ」ということは成り立たない」ものがあるならばあのウォー＆ピースは申し合わせるということはない fact6: あの苦節は間断無い fact7: 「もしも「この好機は置き易いかあるいは酔態でないか両方だ」ということは成り立つということはないとすればあの支持線は酔態でない」ということは本当である fact8: 「「「申し合わせるし侘住まいだ」ということは事実と異なる」ものはある」ということは確かだ fact9: 仮にこのウォー＆ピースは申し合わせないとしたら「受け難い一方で退職しない」ということは事実と異なる fact10: もしあの苦節は香ばしかないとすると「それはしゃきっとするしかつそれは印刷イメージだ」ということは間違っている fact11: その没年はしゃきっとするということはない fact12: 「あるものは香ばしいということはないなら「それがしゃきっとするしその上印刷イメージでない」ということは誤りだ」ということは事実である fact13: もし仮にとあるものは正しないとすると「それは冗談ぽい一方で香ばしかない」ということは事実と異なる fact14: もしその生成機構が間断無いということはないとするとあの苦節はしゃきっとするけれど印刷イメージでない fact15: もし何らかの物は香ばしかないなら「それはしゃきっとするしさらに印刷イメージである」ということは誤っている fact16: あの苦節は冗談ぽい fact17: 間断無いものは冗談ぽいなら「香ばしいということはない」ということは誤りでない fact18: もし仮に「この対象商品は受け難くない」ということは成り立てばこの額等は支え続けない一方で受け辛い fact19: 「あの苦節はしゃきっとするしそれは印刷イメージである」ということは間違いだ ; $hypothesis$ = 「あの苦節はしゃきっとするけれどそれは印刷イメージであるということはない」ということは確かでない ; $proof$ = 
fact6 & fact16 -> int1: あの苦節は間断無いし冗談ぽい; fact17 -> int2: もし仮にあの苦節が間断無いし加えて冗談ぽいとしたら香ばしかない; int1 & int2 -> int3: あの苦節は香ばしかない; fact12 -> int4: あの苦節は香ばしかないならば「それはしゃきっとするしおまけにそれは印刷イメージでない」ということは誤っている; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもあるものは支え続けるということはないならば「置き易いかまたは酔態でないかあるいは両方だ」ということは成り立たない
事実2: この額等が支え続けるということはない一方で受け辛いならばこの好機は支え続けない
事実3: もしもなんらかの物は酔態でないとするとそれは正しない
事実4: 仮に「「受け難い一方で退職しない」ということは偽な」ものがあるとすればこの対象商品は受け難くない
事実5: もし仮に「「申し合わせるしかつ侘住まいだ」ということは成り立たない」ものがあるならばあのウォー＆ピースは申し合わせるということはない
事実6: あの苦節は間断無い
事実7: 「もしも「この好機は置き易いかあるいは酔態でないか両方だ」ということは成り立つということはないとすればあの支持線は酔態でない」ということは本当である
事実8: 「「「申し合わせるし侘住まいだ」ということは事実と異なる」ものはある」ということは確かだ
事実9: 仮にこのウォー＆ピースは申し合わせないとしたら「受け難い一方で退職しない」ということは事実と異なる
事実10: もしあの苦節は香ばしかないとすると「それはしゃきっとするしかつそれは印刷イメージだ」ということは間違っている
事実11: その没年はしゃきっとするということはない
事実12: 「あるものは香ばしいということはないなら「それがしゃきっとするしその上印刷イメージでない」ということは誤りだ」ということは事実である
事実13: もし仮にとあるものは正しないとすると「それは冗談ぽい一方で香ばしかない」ということは事実と異なる
事実14: もしその生成機構が間断無いということはないとするとあの苦節はしゃきっとするけれど印刷イメージでない
事実15: もし何らかの物は香ばしかないなら「それはしゃきっとするしさらに印刷イメージである」ということは誤っている
事実16: あの苦節は冗談ぽい
事実17: 間断無いものは冗談ぽいなら「香ばしいということはない」ということは誤りでない
事実18: もし仮に「この対象商品は受け難くない」ということは成り立てばこの額等は支え続けない一方で受け辛い
事実19: 「あの苦節はしゃきっとするしそれは印刷イメージである」ということは間違いだ

仮説: 「あの苦節はしゃきっとするけれどそれは印刷イメージであるということはない」ということは確かでない
1. 事実6と事実16から、推論1: "あの苦節は間断無いし冗談ぽい"が導かれる
2. 事実17から、推論2: "もし仮にあの苦節が間断無いし加えて冗談ぽいとしたら香ばしかない"が導かれる
3. 推論1と推論2から、推論3: "あの苦節は香ばしかない"が導かれる
4. 事実12から、推論4: "あの苦節は香ばしかないならば「それはしゃきっとするしおまけにそれは印刷イメージでない」ということは誤っている"が導かれる
5. 推論3と推論4から、仮説が導かれる

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