あの白飯は回避出来るか和解出来るかもしくは両方である
fact1: 仮にあの白飯は創作するとしたら「築き難い」ということは嘘でない fact2: もしとある物が月次決算制度でないならそれは目移りするしさらに類推する fact3: もし「ある物は類推する」ということは成り立つとすれば回避出来る fact4: その生活シーンは利払い年である fact5: 利払い年は旨し fact6: もしなにかは子供っぽいとしたらそれは類推する fact7: もしもとあるものが目移りするとすれば類推する fact8: あの金塊は子供っぽい fact9: もしもあの別件逮捕勾留がＡＷＢ番号でないけどそれが小説作品であるとすればあの十人以上は小説作品でない fact10: もしあの六畳間が類推するとすればそれは発展する fact11: もしもなんらかの物が小説作品でないとしたらそれはリース業者であるしかつそれは加え続ける fact12: 仮に「毛沢東等である」ものがあるとするとこの丁稚は月次決算制度でない fact13: 仮にあの白飯は松林であるならば店員である fact14: もし「リース業者な」ものがあるとすればあの燎原は毛沢東等である fact15: 仮にあの金塊が子供っぽいならばあの白飯は目移りする fact16: あの白飯は限り無いかあるいは輿論調査である fact17: もしあの金塊は子供っぽくないとしたら「あの白飯は回避出来るかもしくはそれは和解出来るかもしくはどちらもである」ということは偽だ fact18: もしあの白飯が子供っぽいとしたらそれは回避出来る fact19: もし「その生活シーンは旨し」ということは成り立てばあの別件逮捕勾留はＡＷＢ番号でないけど小説作品である
fact15 & fact8 -> int1: あの白飯は目移りする; fact7 -> int2: あの白飯が目移りすればそれは類推する; int1 & int2 -> int3: あの白飯は類推する; fact3 -> int4: 仮にあの白飯が類推するとするとそれは回避出来る; int3 & int4 -> int5: あの白飯は回避出来る; int5 -> hypothesis;
「あの白飯は回避出来るかまたは和解出来るかあるいは両方ともである」ということは偽である
fact23 -> int6: もし「この丁稚は月次決算制度でない」ということは確かであるとしたら目移りするし類推する; fact24 -> int7: もしあの十人以上は小説作品でないとするとそれはリース業者だししかも加え続ける; fact25 -> int8: もし仮にその生活シーンは利払い年であるとすればそれは旨し; int8 & fact27 -> int9: その生活シーンは旨し; fact20 & int9 -> int10: あの別件逮捕勾留はＡＷＢ番号でないがそれは小説作品だ; fact21 & int10 -> int11: あの十人以上は小説作品でない; int7 & int11 -> int12: あの十人以上はリース業者だし加え続ける; int12 -> int13: 「あの十人以上はリース業者だ」ということは真実である; int13 -> int14: とあるものはリース業者である; int14 & fact26 -> int15: その燎原は毛沢東等である; int15 -> int16: 「毛沢東等である」ものはある; int16 & fact28 -> int17: 「この丁稚は月次決算制度でない」ということは成り立つ; int6 & int17 -> int18: この丁稚は目移りするしそれは類推する; int18 -> int19: この丁稚は目移りする; int19 -> int20: 「目移りする」ものはある;
$facts$ = fact1: 仮にあの白飯は創作するとしたら「築き難い」ということは嘘でない fact2: もしとある物が月次決算制度でないならそれは目移りするしさらに類推する fact3: もし「ある物は類推する」ということは成り立つとすれば回避出来る fact4: その生活シーンは利払い年である fact5: 利払い年は旨し fact6: もしなにかは子供っぽいとしたらそれは類推する fact7: もしもとあるものが目移りするとすれば類推する fact8: あの金塊は子供っぽい fact9: もしもあの別件逮捕勾留がＡＷＢ番号でないけどそれが小説作品であるとすればあの十人以上は小説作品でない fact10: もしあの六畳間が類推するとすればそれは発展する fact11: もしもなんらかの物が小説作品でないとしたらそれはリース業者であるしかつそれは加え続ける fact12: 仮に「毛沢東等である」ものがあるとするとこの丁稚は月次決算制度でない fact13: 仮にあの白飯は松林であるならば店員である fact14: もし「リース業者な」ものがあるとすればあの燎原は毛沢東等である fact15: 仮にあの金塊が子供っぽいならばあの白飯は目移りする fact16: あの白飯は限り無いかあるいは輿論調査である fact17: もしあの金塊は子供っぽくないとしたら「あの白飯は回避出来るかもしくはそれは和解出来るかもしくはどちらもである」ということは偽だ fact18: もしあの白飯が子供っぽいとしたらそれは回避出来る fact19: もし「その生活シーンは旨し」ということは成り立てばあの別件逮捕勾留はＡＷＢ番号でないけど小説作品である ; $hypothesis$ = あの白飯は回避出来るか和解出来るかもしくは両方である ; $proof$ = 
fact15 & fact8 -> int1: あの白飯は目移りする; fact7 -> int2: あの白飯が目移りすればそれは類推する; int1 & int2 -> int3: あの白飯は類推する; fact3 -> int4: 仮にあの白飯が類推するとするとそれは回避出来る; int3 & int4 -> int5: あの白飯は回避出来る; int5 -> hypothesis; __PROVED__
事実1: 仮にあの白飯は創作するとしたら「築き難い」ということは嘘でない
事実2: もしとある物が月次決算制度でないならそれは目移りするしさらに類推する
事実3: もし「ある物は類推する」ということは成り立つとすれば回避出来る
事実4: その生活シーンは利払い年である
事実5: 利払い年は旨し
事実6: もしなにかは子供っぽいとしたらそれは類推する
事実7: もしもとあるものが目移りするとすれば類推する
事実8: あの金塊は子供っぽい
事実9: もしもあの別件逮捕勾留がＡＷＢ番号でないけどそれが小説作品であるとすればあの十人以上は小説作品でない
事実10: もしあの六畳間が類推するとすればそれは発展する
事実11: もしもなんらかの物が小説作品でないとしたらそれはリース業者であるしかつそれは加え続ける
事実12: 仮に「毛沢東等である」ものがあるとするとこの丁稚は月次決算制度でない
事実13: 仮にあの白飯は松林であるならば店員である
事実14: もし「リース業者な」ものがあるとすればあの燎原は毛沢東等である
事実15: 仮にあの金塊が子供っぽいならばあの白飯は目移りする
事実16: あの白飯は限り無いかあるいは輿論調査である
事実17: もしあの金塊は子供っぽくないとしたら「あの白飯は回避出来るかもしくはそれは和解出来るかもしくはどちらもである」ということは偽だ
事実18: もしあの白飯が子供っぽいとしたらそれは回避出来る
事実19: もし「その生活シーンは旨し」ということは成り立てばあの別件逮捕勾留はＡＷＢ番号でないけど小説作品である

仮説: あの白飯は回避出来るか和解出来るかもしくは両方である
1. 事実15と事実8から、推論1: "あの白飯は目移りする"が導かれる
2. 事実7から、推論2: "あの白飯が目移りすればそれは類推する"が導かれる
3. 推論1と推論2から、推論3: "あの白飯は類推する"が導かれる
4. 事実3から、推論4: "仮にあの白飯が類推するとするとそれは回避出来る"が導かれる
5. 推論3と推論4から、推論5: "あの白飯は回避出来る"が導かれる
6. 推論5から、仮説が導かれる

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