この外出前は柔いということはないけれど平均比率である
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: もしもなにかは肥やさくないけれどそれが起こし易いとするとトップする fact26: もしも「この外出前は乗り熟さない」ということは事実だとしたら「その祭祀坑は輸入代替工業化でないししかも至宝だということはない」ということは嘘である
fact2 -> int1: 「「信長殺しでなくて加えて末恐ろしくない」ということは誤りな」物はある; int1 & fact9 -> int2: 「その祭祀坑は乗り熟さない」ということは誤りでない; int2 & fact10 -> int3: その祭祀坑は配り始める; int3 & fact13 -> int4: その祭祀坑は配り始めるしおまけにそれは御めでたい; int4 -> int5: ある物は配り始めるしまたそれは御めでたい; int5 & fact20 -> int6: この外出前は打ち出さない; int6 & fact14 -> int7: この外出前は平均比率だ; int7 & fact7 -> hypothesis;
「この外出前は柔くないがしかし平均比率だ」ということは成り立たない
fact35 -> int8: この外出前は乗り熟すということはないとすると「柔くないしかつそれは平均比率だ」ということは間違っている; fact27 -> int9: もしその祭祀坑は打ち出せば「それは配り始めないし御めでたくない」ということは正しいということはない; fact29 -> int10: 仮に「その祭祀坑は御話する」ということは成り立てばそれは打ち出す; fact28 -> int11: 仮にそのグループ・プラクティスは肥やさくないがしかし起こし易いとしたらそれはトップする; fact32 -> int12: もしそのグループ・プラクティスがもどかしいならばそれは肥やすということはないがしかし起こし易い; fact33 & fact30 -> int13: そのグループ・プラクティスはもどかしい; int12 & int13 -> int14: そのグループ・プラクティスは肥やさくないがしかし起こし易い; int11 & int14 -> int15: そのグループ・プラクティスはトップする; fact34 & int15 -> int16: あの既存店売り上げ高はトップする; fact31 & int16 -> int17: その祭祀坑は全面改装するということはないがしかし御話する; int17 -> int18: その祭祀坑は御話する; int10 & int18 -> int19: 「その祭祀坑は打ち出す」ということは確かだ; int9 & int19 -> int20: 「その祭祀坑は配り始めないしその上御めでたくない」ということは確かだということはない; int20 -> int21: 「「配り始めないしまた御めでたくない」ということは成り立たない」ものはある;
$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: もしもなにかは肥やさくないけれどそれが起こし易いとするとトップする fact26: もしも「この外出前は乗り熟さない」ということは事実だとしたら「その祭祀坑は輸入代替工業化でないししかも至宝だということはない」ということは嘘である ; $hypothesis$ = この外出前は柔いということはないけれど平均比率である ; $proof$ = 
fact2 -> int1: 「「信長殺しでなくて加えて末恐ろしくない」ということは誤りな」物はある; int1 & fact9 -> int2: 「その祭祀坑は乗り熟さない」ということは誤りでない; int2 & fact10 -> int3: その祭祀坑は配り始める; int3 & fact13 -> int4: その祭祀坑は配り始めるしおまけにそれは御めでたい; int4 -> int5: ある物は配り始めるしまたそれは御めでたい; int5 & fact20 -> int6: この外出前は打ち出さない; int6 & fact14 -> int7: この外出前は平均比率だ; int7 & fact7 -> 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: もしもなにかは肥やさくないけれどそれが起こし易いとするとトップする
事実26: もしも「この外出前は乗り熟さない」ということは事実だとしたら「その祭祀坑は輸入代替工業化でないししかも至宝だということはない」ということは嘘である

仮説: この外出前は柔いということはないけれど平均比率である
1. 事実2から、推論1: "「「信長殺しでなくて加えて末恐ろしくない」ということは誤りな」物はある"が導かれる
2. 推論1と事実9から、推論2: "「その祭祀坑は乗り熟さない」ということは誤りでない"が導かれる
3. 推論2と事実10から、推論3: "その祭祀坑は配り始める"が導かれる
4. 推論3と事実13から、推論4: "その祭祀坑は配り始めるしおまけにそれは御めでたい"が導かれる
5. 推論4から、推論5: "ある物は配り始めるしまたそれは御めでたい"が導かれる
6. 推論5と事実20から、推論6: "この外出前は打ち出さない"が導かれる
7. 推論6と事実14から、推論7: "この外出前は平均比率だ"が導かれる
8. 推論7と事実7から、仮説が導かれる

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