「この改革者は真似する」ということは成り立つ
fact1: もし仮に「何らかの物は塞き止めないが子宮頸管である」ということは成り立つということはないならそれは親しみ易くない fact2: 仮にとあるものはショルダーであるなら三回以上である fact3: もしなにがしかのものは書き継ぐなら「それは真似するが不味くない」ということは確かでない fact4: もしも口惜しくないものが相見えないとすると書き継がない fact5: 何かは書き継がないとすれば不味いけれど義祖母だということはない fact6: この改革者は人間本性である fact7: この改革者は塞き止めない fact8: 「この改革者は義祖母でない」ということは本当である fact9: もしその総崩れがいとおしいということはないとしたら微笑ましかない fact10: もし仮にこの改革者は不味いけれど義祖母でないなら親しみ易い fact11: この改革者は目敏くないし加えて涼めない fact12: 仮に口惜しくない物が相見えるとするとそれは書き継がない fact13: その無電は真似する fact14: その総崩れは情けなくない fact15: もし仮になにがしかの物は情けなくないなら「それはいとおしいしおまけにそれは目敏い」ということは誤りである fact16: もしその箇条書きが不味くないしそれが親しみ易くないとするとこの炉税は親しみ易い fact17: もし仮に「親しみ易いということはない」物があるとすればその無電は義祖母だ fact18: この炉税は書き直せるということはない fact19: もしもこの改革者が塞き止めないならばそれは口惜しくないしそれに相見えない fact20: もしなんらかの物が親しみ易いとすれば真似する fact21: 仮にこの同窓会は使い易い一方で勝負でないならばそれは塞き止める fact22: 仮に「何かはいとおしいし加えて目敏い」ということは偽であるならいとおしくない fact23: もし「その総崩れは微笑ましくらない」ということは確かだとしたら「この労働者生産協同組織は塞き止めない一方でそれは子宮頸管である」ということは成り立たない fact24: もし仮にこの改革者が口惜しいということはない一方で相見えるとすればそれは書き継がない fact25: 仮に「義祖母な」ものがあるならばあの箇条書きは書き継ぐ
fact4 -> int1: もし仮にこの改革者が口惜しくないし加えて相見えるということはないとすればそれは書き継がない; fact19 & fact7 -> int2: 「この改革者は口惜しくないし加えて相見えない」ということは正しい; int1 & int2 -> int3: この改革者は書き継がない; fact5 -> int4: もしもこの改革者が書き継がないなら不味い一方で義祖母だということはない; int3 & int4 -> int5: この改革者は不味いが義祖母でない; int5 & fact10 -> int6: この改革者は親しみ易い; fact20 -> int7: この改革者が親しみ易いとしたら真似する; int6 & int7 -> hypothesis;
この改革者は真似しない
fact26 -> int8: 「仮にその箇条書きは書き継げば「その箇条書きは真似するがしかし不味くない」ということは成り立たない」ということは成り立つ; fact29 -> int9: 「この労働者生産協同組織は塞き止めないが子宮頸管だ」ということは間違いであるならそれは親しみ易くない; fact32 -> int10: もし「その総崩れはいとおしいし目敏い」ということは成り立たないとするといとおしいということはない; fact33 -> int11: もしその総崩れは情けないということはないならば「いとおしくて目敏い」ということは間違いだ; int11 & fact34 -> int12: 「その総崩れはいとおしいし加えてそれは目敏い」ということは事実と異なる; int10 & int12 -> int13: その総崩れはいとおしいということはない; fact31 & int13 -> int14: その総崩れは微笑ましかない; fact27 & int14 -> int15: 「この労働者生産協同組織は塞き止めないが子宮頸管だ」ということは本当でない; int9 & int15 -> int16: この労働者生産協同組織は親しみ易くない; int16 -> int17: 「親しみ易くない」ものはある; int17 & fact30 -> int18: その無電は義祖母だ; int18 -> int19: なんらかの物は義祖母である; int19 & fact28 -> int20: その箇条書きは書き継ぐ; int8 & int20 -> int21: 「その箇条書きは真似するけど不味くない」ということは嘘だ; int21 -> int22: 「「真似するけれど不味くない」ということは誤っている」ものはある;
$facts$ = fact1: もし仮に「何らかの物は塞き止めないが子宮頸管である」ということは成り立つということはないならそれは親しみ易くない fact2: 仮にとあるものはショルダーであるなら三回以上である fact3: もしなにがしかのものは書き継ぐなら「それは真似するが不味くない」ということは確かでない fact4: もしも口惜しくないものが相見えないとすると書き継がない fact5: 何かは書き継がないとすれば不味いけれど義祖母だということはない fact6: この改革者は人間本性である fact7: この改革者は塞き止めない fact8: 「この改革者は義祖母でない」ということは本当である fact9: もしその総崩れがいとおしいということはないとしたら微笑ましかない fact10: もし仮にこの改革者は不味いけれど義祖母でないなら親しみ易い fact11: この改革者は目敏くないし加えて涼めない fact12: 仮に口惜しくない物が相見えるとするとそれは書き継がない fact13: その無電は真似する fact14: その総崩れは情けなくない fact15: もし仮になにがしかの物は情けなくないなら「それはいとおしいしおまけにそれは目敏い」ということは誤りである fact16: もしその箇条書きが不味くないしそれが親しみ易くないとするとこの炉税は親しみ易い fact17: もし仮に「親しみ易いということはない」物があるとすればその無電は義祖母だ fact18: この炉税は書き直せるということはない fact19: もしもこの改革者が塞き止めないならばそれは口惜しくないしそれに相見えない fact20: もしなんらかの物が親しみ易いとすれば真似する fact21: 仮にこの同窓会は使い易い一方で勝負でないならばそれは塞き止める fact22: 仮に「何かはいとおしいし加えて目敏い」ということは偽であるならいとおしくない fact23: もし「その総崩れは微笑ましくらない」ということは確かだとしたら「この労働者生産協同組織は塞き止めない一方でそれは子宮頸管である」ということは成り立たない fact24: もし仮にこの改革者が口惜しいということはない一方で相見えるとすればそれは書き継がない fact25: 仮に「義祖母な」ものがあるならばあの箇条書きは書き継ぐ ; $hypothesis$ = 「この改革者は真似する」ということは成り立つ ; $proof$ = 
fact4 -> int1: もし仮にこの改革者が口惜しくないし加えて相見えるということはないとすればそれは書き継がない; fact19 & fact7 -> int2: 「この改革者は口惜しくないし加えて相見えない」ということは正しい; int1 & int2 -> int3: この改革者は書き継がない; fact5 -> int4: もしもこの改革者が書き継がないなら不味い一方で義祖母だということはない; int3 & int4 -> int5: この改革者は不味いが義祖母でない; int5 & fact10 -> int6: この改革者は親しみ易い; fact20 -> int7: この改革者が親しみ易いとしたら真似する; int6 & int7 -> hypothesis; __PROVED__
事実1: もし仮に「何らかの物は塞き止めないが子宮頸管である」ということは成り立つということはないならそれは親しみ易くない
事実2: 仮にとあるものはショルダーであるなら三回以上である
事実3: もしなにがしかのものは書き継ぐなら「それは真似するが不味くない」ということは確かでない
事実4: もしも口惜しくないものが相見えないとすると書き継がない
事実5: 何かは書き継がないとすれば不味いけれど義祖母だということはない
事実6: この改革者は人間本性である
事実7: この改革者は塞き止めない
事実8: 「この改革者は義祖母でない」ということは本当である
事実9: もしその総崩れがいとおしいということはないとしたら微笑ましかない
事実10: もし仮にこの改革者は不味いけれど義祖母でないなら親しみ易い
事実11: この改革者は目敏くないし加えて涼めない
事実12: 仮に口惜しくない物が相見えるとするとそれは書き継がない
事実13: その無電は真似する
事実14: その総崩れは情けなくない
事実15: もし仮になにがしかの物は情けなくないなら「それはいとおしいしおまけにそれは目敏い」ということは誤りである
事実16: もしその箇条書きが不味くないしそれが親しみ易くないとするとこの炉税は親しみ易い
事実17: もし仮に「親しみ易いということはない」物があるとすればその無電は義祖母だ
事実18: この炉税は書き直せるということはない
事実19: もしもこの改革者が塞き止めないならばそれは口惜しくないしそれに相見えない
事実20: もしなんらかの物が親しみ易いとすれば真似する
事実21: 仮にこの同窓会は使い易い一方で勝負でないならばそれは塞き止める
事実22: 仮に「何かはいとおしいし加えて目敏い」ということは偽であるならいとおしくない
事実23: もし「その総崩れは微笑ましくらない」ということは確かだとしたら「この労働者生産協同組織は塞き止めない一方でそれは子宮頸管である」ということは成り立たない
事実24: もし仮にこの改革者が口惜しいということはない一方で相見えるとすればそれは書き継がない
事実25: 仮に「義祖母な」ものがあるならばあの箇条書きは書き継ぐ

仮説: 「この改革者は真似する」ということは成り立つ
1. 事実4から、推論1: "もし仮にこの改革者が口惜しくないし加えて相見えるということはないとすればそれは書き継がない"が導かれる
2. 事実19と事実7から、推論2: "「この改革者は口惜しくないし加えて相見えない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この改革者は書き継がない"が導かれる
4. 事実5から、推論4: "もしもこの改革者が書き継がないなら不味い一方で義祖母だということはない"が導かれる
5. 推論3と推論4から、推論5: "この改革者は不味いが義祖母でない"が導かれる
6. 推論5と事実10から、推論6: "この改革者は親しみ易い"が導かれる
7. 事実20から、推論7: "この改革者が親しみ易いとしたら真似する"が導かれる
8. 推論6と推論7から、仮説が導かれる

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