そのフィブロネクチンは鰈である
fact1: とあるものが電話するとすれば鰈である fact2: もしもそのフィブロネクチンが増上でないとすれば堂塔だ fact3: この後代が寄寓するとすればあの柔道家は堂塔でなくてそれは電話しない fact4: あの柔道家が油っぽいしその上増上だとしたら鰈でない fact5: あの柔道家は油っぽい fact6: もし仮に「この後代は長野君であるかもしくは責めないかまたは両方ともである」ということは成り立たないならば「寄寓する」ということは真実である fact7: 「「そのフィブロネクチンは書き難くない」ということは確かである」ということは真実であるということはない fact8: 仮にあの柔道家が本システムであるしまたそれが油っぽいならそのフィブロネクチンは増上でない fact9: もしなんらかのものが堂塔だとすればそれは電話する fact10: もしも「あの柔道家は電話する」ということは確かであるなら油っぽい fact11: 「そのフィブロネクチンは油っぽくない」ということは成り立つ fact12: 「そのフィブロネクチンは御覧頂けない」ということは成り立つ fact13: 仮にそのフィブロネクチンが寄寓するとしたら電話するがしかし鰈でない fact14: あの柔道家は本システムである fact15: もしも本システムが油っぽいということはないとするとその平泉駅下車は堂塔だ
fact14 & fact5 -> int1: あの柔道家は本システムであるし油っぽい; int1 & fact8 -> int2: そのフィブロネクチンは増上でない; int2 & fact2 -> int3: そのフィブロネクチンは堂塔である; fact9 -> int4: もし仮に「そのフィブロネクチンは堂塔である」ということは事実なら「電話する」ということは確かである; int3 & int4 -> int5: そのフィブロネクチンは電話する; fact1 -> int6: もしもそのフィブロネクチンが電話するとしたらそれは鰈である; int5 & int6 -> hypothesis;
そのフィブロネクチンは鰈でない
$facts$ = fact1: とあるものが電話するとすれば鰈である fact2: もしもそのフィブロネクチンが増上でないとすれば堂塔だ fact3: この後代が寄寓するとすればあの柔道家は堂塔でなくてそれは電話しない fact4: あの柔道家が油っぽいしその上増上だとしたら鰈でない fact5: あの柔道家は油っぽい fact6: もし仮に「この後代は長野君であるかもしくは責めないかまたは両方ともである」ということは成り立たないならば「寄寓する」ということは真実である fact7: 「「そのフィブロネクチンは書き難くない」ということは確かである」ということは真実であるということはない fact8: 仮にあの柔道家が本システムであるしまたそれが油っぽいならそのフィブロネクチンは増上でない fact9: もしなんらかのものが堂塔だとすればそれは電話する fact10: もしも「あの柔道家は電話する」ということは確かであるなら油っぽい fact11: 「そのフィブロネクチンは油っぽくない」ということは成り立つ fact12: 「そのフィブロネクチンは御覧頂けない」ということは成り立つ fact13: 仮にそのフィブロネクチンが寄寓するとしたら電話するがしかし鰈でない fact14: あの柔道家は本システムである fact15: もしも本システムが油っぽいということはないとするとその平泉駅下車は堂塔だ ; $hypothesis$ = そのフィブロネクチンは鰈である ; $proof$ = 
fact14 & fact5 -> int1: あの柔道家は本システムであるし油っぽい; int1 & fact8 -> int2: そのフィブロネクチンは増上でない; int2 & fact2 -> int3: そのフィブロネクチンは堂塔である; fact9 -> int4: もし仮に「そのフィブロネクチンは堂塔である」ということは事実なら「電話する」ということは確かである; int3 & int4 -> int5: そのフィブロネクチンは電話する; fact1 -> int6: もしもそのフィブロネクチンが電話するとしたらそれは鰈である; int5 & int6 -> hypothesis; __PROVED__
事実1: とあるものが電話するとすれば鰈である
事実2: もしもそのフィブロネクチンが増上でないとすれば堂塔だ
事実3: この後代が寄寓するとすればあの柔道家は堂塔でなくてそれは電話しない
事実4: あの柔道家が油っぽいしその上増上だとしたら鰈でない
事実5: あの柔道家は油っぽい
事実6: もし仮に「この後代は長野君であるかもしくは責めないかまたは両方ともである」ということは成り立たないならば「寄寓する」ということは真実である
事実7: 「「そのフィブロネクチンは書き難くない」ということは確かである」ということは真実であるということはない
事実8: 仮にあの柔道家が本システムであるしまたそれが油っぽいならそのフィブロネクチンは増上でない
事実9: もしなんらかのものが堂塔だとすればそれは電話する
事実10: もしも「あの柔道家は電話する」ということは確かであるなら油っぽい
事実11: 「そのフィブロネクチンは油っぽくない」ということは成り立つ
事実12: 「そのフィブロネクチンは御覧頂けない」ということは成り立つ
事実13: 仮にそのフィブロネクチンが寄寓するとしたら電話するがしかし鰈でない
事実14: あの柔道家は本システムである
事実15: もしも本システムが油っぽいということはないとするとその平泉駅下車は堂塔だ

仮説: そのフィブロネクチンは鰈である
1. 事実14と事実5から、推論1: "あの柔道家は本システムであるし油っぽい"が導かれる
2. 推論1と事実8から、推論2: "そのフィブロネクチンは増上でない"が導かれる
3. 推論2と事実2から、推論3: "そのフィブロネクチンは堂塔である"が導かれる
4. 事実9から、推論4: "もし仮に「そのフィブロネクチンは堂塔である」ということは事実なら「電話する」ということは確かである"が導かれる
5. 推論3と推論4から、推論5: "そのフィブロネクチンは電話する"が導かれる
6. 事実1から、推論6: "もしもそのフィブロネクチンが電話するとしたらそれは鰈である"が導かれる
7. 推論5と推論6から、仮説が導かれる

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