「「微増だということはない」ということは成り立つ」ものはある
fact1: その雑誌編集は見直すかそれは反応するかまたはどちらもである fact2: もしこの有料道路は取り引きしないとすると「この紫紅色は取り引きするけれど思惑でない」ということは誤っている fact3: 「その不服申し立ては掛け易い」ということは本当である fact4: 「微増な」ものはある fact5: 仮にその不服申し立ては二重層であるならばそれは生き直さなくておまけにＴＥでない fact6: その不服申し立てが微増であるかあるいはそれが見直せばこの紫紅色は掛け易くない fact7: もしその不服申し立てが見直せばこの有料道路は取り引きしない fact8: もしも「この紫紅色は取り引きしないしさらに思惑だということはない」ということは間違いだとしたら微増だということはない fact9: 仮に何らかのものが取り引きしないとしたら掛け易いということはないかそれは見直さないか両方だ fact10: 仮に「この紫紅色は取り引きするということはないしかつ掛け易くない」ということは成り立たないならばそれは微増だということはない fact11: 「この紫紅色は取り引きするがしかしそれは思惑だということはない」ということは成り立つということはない fact12: もしもこの紫紅色が取り引きするなら微増であるということはない fact13: 「その不服申し立ては掛け易くないが取り引きする」ということは成り立たない fact14: もし仮になにがしかの物はＴＥでないなら「小高いということはなくておまけにそれは微増でない」ということは本当だ fact15: 仮にこの有料道路は取り引きしないとすると「この紫紅色は取り引きしなくて思惑でない」ということは誤っている fact16: もし仮にその不服申し立てが掛け易いかもしくは見直すならこの有料道路は取り引きしない fact17: もし小高くない物は微増でないならばそれは取り引きするということはない
fact3 -> int1: その不服申し立ては掛け易いかまたは見直すか両方である; int1 & fact16 -> int2: 「この有料道路は取り引きしない」ということは成り立つ; int2 & fact15 -> int3: 「この紫紅色は取り引きしなくて更にそれは思惑であるということはない」ということは間違っている; int3 & fact8 -> int4: この紫紅色は微増でない; int4 -> hypothesis;
「この海辺は思惑でない」ということは事実と異ならない
fact21 -> int5: 仮にその不服申し立てが取り引きしないなら掛け易くないかもしくはそれは見直さない; fact20 -> int6: もしその不服申し立てが小高くなくてまた微増であるということはないとすれば「それは取り引きするということはない」ということは偽でない; fact19 -> int7: その不服申し立てはＴＥでないならばそれは小高いということはなくて微増だということはない;
$facts$ = fact1: その雑誌編集は見直すかそれは反応するかまたはどちらもである fact2: もしこの有料道路は取り引きしないとすると「この紫紅色は取り引きするけれど思惑でない」ということは誤っている fact3: 「その不服申し立ては掛け易い」ということは本当である fact4: 「微増な」ものはある fact5: 仮にその不服申し立ては二重層であるならばそれは生き直さなくておまけにＴＥでない fact6: その不服申し立てが微増であるかあるいはそれが見直せばこの紫紅色は掛け易くない fact7: もしその不服申し立てが見直せばこの有料道路は取り引きしない fact8: もしも「この紫紅色は取り引きしないしさらに思惑だということはない」ということは間違いだとしたら微増だということはない fact9: 仮に何らかのものが取り引きしないとしたら掛け易いということはないかそれは見直さないか両方だ fact10: 仮に「この紫紅色は取り引きするということはないしかつ掛け易くない」ということは成り立たないならばそれは微増だということはない fact11: 「この紫紅色は取り引きするがしかしそれは思惑だということはない」ということは成り立つということはない fact12: もしもこの紫紅色が取り引きするなら微増であるということはない fact13: 「その不服申し立ては掛け易くないが取り引きする」ということは成り立たない fact14: もし仮になにがしかの物はＴＥでないなら「小高いということはなくておまけにそれは微増でない」ということは本当だ fact15: 仮にこの有料道路は取り引きしないとすると「この紫紅色は取り引きしなくて思惑でない」ということは誤っている fact16: もし仮にその不服申し立てが掛け易いかもしくは見直すならこの有料道路は取り引きしない fact17: もし小高くない物は微増でないならばそれは取り引きするということはない ; $hypothesis$ = 「「微増だということはない」ということは成り立つ」ものはある ; $proof$ = 
fact3 -> int1: その不服申し立ては掛け易いかまたは見直すか両方である; int1 & fact16 -> int2: 「この有料道路は取り引きしない」ということは成り立つ; int2 & fact15 -> int3: 「この紫紅色は取り引きしなくて更にそれは思惑であるということはない」ということは間違っている; int3 & fact8 -> int4: この紫紅色は微増でない; int4 -> hypothesis; __PROVED__
事実1: その雑誌編集は見直すかそれは反応するかまたはどちらもである
事実2: もしこの有料道路は取り引きしないとすると「この紫紅色は取り引きするけれど思惑でない」ということは誤っている
事実3: 「その不服申し立ては掛け易い」ということは本当である
事実4: 「微増な」ものはある
事実5: 仮にその不服申し立ては二重層であるならばそれは生き直さなくておまけにＴＥでない
事実6: その不服申し立てが微増であるかあるいはそれが見直せばこの紫紅色は掛け易くない
事実7: もしその不服申し立てが見直せばこの有料道路は取り引きしない
事実8: もしも「この紫紅色は取り引きしないしさらに思惑だということはない」ということは間違いだとしたら微増だということはない
事実9: 仮に何らかのものが取り引きしないとしたら掛け易いということはないかそれは見直さないか両方だ
事実10: 仮に「この紫紅色は取り引きするということはないしかつ掛け易くない」ということは成り立たないならばそれは微増だということはない
事実11: 「この紫紅色は取り引きするがしかしそれは思惑だということはない」ということは成り立つということはない
事実12: もしもこの紫紅色が取り引きするなら微増であるということはない
事実13: 「その不服申し立ては掛け易くないが取り引きする」ということは成り立たない
事実14: もし仮になにがしかの物はＴＥでないなら「小高いということはなくておまけにそれは微増でない」ということは本当だ
事実15: 仮にこの有料道路は取り引きしないとすると「この紫紅色は取り引きしなくて思惑でない」ということは誤っている
事実16: もし仮にその不服申し立てが掛け易いかもしくは見直すならこの有料道路は取り引きしない
事実17: もし小高くない物は微増でないならばそれは取り引きするということはない

仮説: 「「微増だということはない」ということは成り立つ」ものはある
1. 事実3から、推論1: "その不服申し立ては掛け易いかまたは見直すか両方である"が導かれる
2. 推論1と事実16から、推論2: "「この有料道路は取り引きしない」ということは成り立つ"が導かれる
3. 推論2と事実15から、推論3: "「この紫紅色は取り引きしなくて更にそれは思惑であるということはない」ということは間違っている"が導かれる
4. 推論3と事実8から、推論4: "この紫紅色は微増でない"が導かれる
5. 推論4から、仮説が導かれる

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