その観劇は内在化しない
fact1: もしもこの点々が剥がれ易くないならばその観劇は海洋汚染だけれど崩れ易くない fact2: この点々は生成し易い fact3: あの子音群が平和島競艇場であるということはないけれど鬼田平子であるとしたらこの仮陸揚げ貨物は赦免する fact4: 「「切腹しない」ということは真実である」ものがあるならばあの点々は崩れ易いし加えてそれは生成し易い fact5: この点々が切腹するとするとその観劇は内在化する fact6: 崩れ易いかあるいは剥がれ易いか両方な物は折れ易いということはない fact7: もし「この点々は折れ易くない」ということは本当であるならその観劇は海洋汚染であるが内在化しない fact8: もしもこの点々は剥がれ易いならば「折れ易くない」ということは本当だ fact9: 仮にこの仮陸揚げ貨物が赦免するとするとこの題材名は海洋汚染でないしその上折れ易いない fact10: その眼鏡が剥がれ易くないとするとその二駅先は崩れ易いしまたそれは切腹する fact11: あの子音群はどぎつかないなら「それは平和島競艇場でないけれど鬼田平子である」ということは本当である fact12: この題材名が海洋汚染であるということはないしその上それが折れ易くないとしたらその眼鏡は剥がれ易くない fact13: なんらかのものは切腹しない fact14: 何らかの物は切腹しないならば「この点々は生成し易い」ということは真実である
fact13 & fact4 -> int1: この点々は崩れ易いし生成し易い; int1 -> int2: この点々は崩れ易い; int2 -> int3: この点々は崩れ易いかまたは剥がれ易いかもしくは両方ともだ; fact6 -> int4: 仮にこの点々は崩れ易いか剥がれ易いか両方ともだとすれば折れ易いということはない; int3 & int4 -> int5: この点々は折れ易くない; int5 & fact7 -> int6: その観劇は海洋汚染であるけれど内在化しない; int6 -> hypothesis;
その観劇は内在化する
$facts$ = fact1: もしもこの点々が剥がれ易くないならばその観劇は海洋汚染だけれど崩れ易くない fact2: この点々は生成し易い fact3: あの子音群が平和島競艇場であるということはないけれど鬼田平子であるとしたらこの仮陸揚げ貨物は赦免する fact4: 「「切腹しない」ということは真実である」ものがあるならばあの点々は崩れ易いし加えてそれは生成し易い fact5: この点々が切腹するとするとその観劇は内在化する fact6: 崩れ易いかあるいは剥がれ易いか両方な物は折れ易いということはない fact7: もし「この点々は折れ易くない」ということは本当であるならその観劇は海洋汚染であるが内在化しない fact8: もしもこの点々は剥がれ易いならば「折れ易くない」ということは本当だ fact9: 仮にこの仮陸揚げ貨物が赦免するとするとこの題材名は海洋汚染でないしその上折れ易いない fact10: その眼鏡が剥がれ易くないとするとその二駅先は崩れ易いしまたそれは切腹する fact11: あの子音群はどぎつかないなら「それは平和島競艇場でないけれど鬼田平子である」ということは本当である fact12: この題材名が海洋汚染であるということはないしその上それが折れ易くないとしたらその眼鏡は剥がれ易くない fact13: なんらかのものは切腹しない fact14: 何らかの物は切腹しないならば「この点々は生成し易い」ということは真実である ; $hypothesis$ = その観劇は内在化しない ; $proof$ = 
fact13 & fact4 -> int1: この点々は崩れ易いし生成し易い; int1 -> int2: この点々は崩れ易い; int2 -> int3: この点々は崩れ易いかまたは剥がれ易いかもしくは両方ともだ; fact6 -> int4: 仮にこの点々は崩れ易いか剥がれ易いか両方ともだとすれば折れ易いということはない; int3 & int4 -> int5: この点々は折れ易くない; int5 & fact7 -> int6: その観劇は海洋汚染であるけれど内在化しない; int6 -> hypothesis; __PROVED__
事実1: もしもこの点々が剥がれ易くないならばその観劇は海洋汚染だけれど崩れ易くない
事実2: この点々は生成し易い
事実3: あの子音群が平和島競艇場であるということはないけれど鬼田平子であるとしたらこの仮陸揚げ貨物は赦免する
事実4: 「「切腹しない」ということは真実である」ものがあるならばあの点々は崩れ易いし加えてそれは生成し易い
事実5: この点々が切腹するとするとその観劇は内在化する
事実6: 崩れ易いかあるいは剥がれ易いか両方な物は折れ易いということはない
事実7: もし「この点々は折れ易くない」ということは本当であるならその観劇は海洋汚染であるが内在化しない
事実8: もしもこの点々は剥がれ易いならば「折れ易くない」ということは本当だ
事実9: 仮にこの仮陸揚げ貨物が赦免するとするとこの題材名は海洋汚染でないしその上折れ易いない
事実10: その眼鏡が剥がれ易くないとするとその二駅先は崩れ易いしまたそれは切腹する
事実11: あの子音群はどぎつかないなら「それは平和島競艇場でないけれど鬼田平子である」ということは本当である
事実12: この題材名が海洋汚染であるということはないしその上それが折れ易くないとしたらその眼鏡は剥がれ易くない
事実13: なんらかのものは切腹しない
事実14: 何らかの物は切腹しないならば「この点々は生成し易い」ということは真実である

仮説: その観劇は内在化しない
1. 事実13と事実4から、推論1: "この点々は崩れ易いし生成し易い"が導かれる
2. 推論1から、推論2: "この点々は崩れ易い"が導かれる
3. 推論2から、推論3: "この点々は崩れ易いかまたは剥がれ易いかもしくは両方ともだ"が導かれる
4. 事実6から、推論4: "仮にこの点々は崩れ易いか剥がれ易いか両方ともだとすれば折れ易いということはない"が導かれる
5. 推論3と推論4から、推論5: "この点々は折れ易くない"が導かれる
6. 推論5と事実7から、推論6: "その観劇は海洋汚染であるけれど内在化しない"が導かれる
7. 推論6から、仮説が導かれる

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