あの電子多対多メディアは建値制である
fact1: もしも「何らかのものは手っ取り早くないけど実感する」ということは間違いだとしたらそれは手っ取り早い fact2: あの沿岸都市は手っ取り早い fact3: 仮に「あの沿岸都市は手っ取り早い」ということは成り立つなら「それはマン島だ」ということは成り立つ fact4: もし「この細胞蛋白質は手っ取り早くないし加えてそれは浮き出さない」ということは偽なら「マン島だ」ということは成り立つ fact5: この細胞蛋白質は実感する fact6: 仮にあの沿岸都市がマン島であるとするとこの細胞蛋白質は浮き出す fact7: 「罹り易い」ものはある fact8: もし「罹り易い」物はあるとすると「その管理ツールは手っ取り早くないがしかしそれは実感する」ということは間違いである fact9: 仮にその管理ツールが撥ね飛ばすとしたらあの電子多対多メディアは建値制だ fact10: この細胞蛋白質は苦し fact11: 仮に罹り易い物が実感するとすればその管理ツールは苦しない fact12: もし仮にこの細胞蛋白質が浮き出すとしたら罹り易い fact13: 仮に「成り易い」ものはあるなら「この温かさは棒読みしなくて更に成り易くない」ということは間違いだ fact14: もしも「手っ取り早い」ものはあれば「この細胞蛋白質は手っ取り早くないししかも浮き出さない」ということは誤りだ fact15: 苦しない物は撥ね飛ばす fact16: 「成り易い」ものはある fact17: もしあの精神保健法が撥ね飛ばさないが苦しとしたらその薄気味は罹り易い fact18: 仮にこの温かさが棒読みするとしたらあの精神保健法は撥ね飛ばさないがそれは苦し fact19: もしあの沿岸都市が撥ね飛ばすならその管理ツールはマン島だ fact20: もしも「この温かさは棒読みしなくて成り易いということはない」ということは誤っているとしたらそれは棒読みする
fact3 & fact2 -> int1: あの沿岸都市はマン島である; int1 & fact6 -> int2: この細胞蛋白質は浮き出す; int2 & fact12 -> int3: この細胞蛋白質は罹り易い; int3 & fact5 -> int4: この細胞蛋白質は罹り易いし実感する; int4 -> int5: なんらかのものは罹り易いしさらに実感する; int5 & fact11 -> int6: その管理ツールは苦しない; fact15 -> int7: 「その管理ツールは苦しない」ということは事実だとすると撥ね飛ばす; int6 & int7 -> int8: 「その管理ツールは撥ね飛ばす」ということは本当だ; int8 & fact9 -> hypothesis;
あの電子多対多メディアは建値制でない
fact27 -> int9: 仮に「その管理ツールは手っ取り早いということはない一方で実感する」ということは間違いならそれは手っ取り早い; fact22 & fact25 -> int10: 「この温かさは棒読みしなくてまた成り易くない」ということは誤りである; fact28 & int10 -> int11: この温かさは棒読みする; fact29 & int11 -> int12: あの精神保健法は撥ね飛ばさない一方で苦し; fact23 & int12 -> int13: その薄気味は罹り易い; int13 -> int14: 「罹り易い」ものはある; int14 & fact21 -> int15: 「その管理ツールは手っ取り早くない一方で実感する」ということは成り立たない; int9 & int15 -> int16: その管理ツールは手っ取り早い; int16 -> int17: 「「手っ取り早い」物はある」ということは本当である; int17 & fact24 -> int18: 「この細胞蛋白質は手っ取り早くないし浮き出さない」ということは本当でない; fact26 & int18 -> int19: この細胞蛋白質はマン島である; int19 -> int20: 「マン島である」物はある;
$facts$ = fact1: もしも「何らかのものは手っ取り早くないけど実感する」ということは間違いだとしたらそれは手っ取り早い fact2: あの沿岸都市は手っ取り早い fact3: 仮に「あの沿岸都市は手っ取り早い」ということは成り立つなら「それはマン島だ」ということは成り立つ fact4: もし「この細胞蛋白質は手っ取り早くないし加えてそれは浮き出さない」ということは偽なら「マン島だ」ということは成り立つ fact5: この細胞蛋白質は実感する fact6: 仮にあの沿岸都市がマン島であるとするとこの細胞蛋白質は浮き出す fact7: 「罹り易い」ものはある fact8: もし「罹り易い」物はあるとすると「その管理ツールは手っ取り早くないがしかしそれは実感する」ということは間違いである fact9: 仮にその管理ツールが撥ね飛ばすとしたらあの電子多対多メディアは建値制だ fact10: この細胞蛋白質は苦し fact11: 仮に罹り易い物が実感するとすればその管理ツールは苦しない fact12: もし仮にこの細胞蛋白質が浮き出すとしたら罹り易い fact13: 仮に「成り易い」ものはあるなら「この温かさは棒読みしなくて更に成り易くない」ということは間違いだ fact14: もしも「手っ取り早い」ものはあれば「この細胞蛋白質は手っ取り早くないししかも浮き出さない」ということは誤りだ fact15: 苦しない物は撥ね飛ばす fact16: 「成り易い」ものはある fact17: もしあの精神保健法が撥ね飛ばさないが苦しとしたらその薄気味は罹り易い fact18: 仮にこの温かさが棒読みするとしたらあの精神保健法は撥ね飛ばさないがそれは苦し fact19: もしあの沿岸都市が撥ね飛ばすならその管理ツールはマン島だ fact20: もしも「この温かさは棒読みしなくて成り易いということはない」ということは誤っているとしたらそれは棒読みする ; $hypothesis$ = あの電子多対多メディアは建値制である ; $proof$ = 
fact3 & fact2 -> int1: あの沿岸都市はマン島である; int1 & fact6 -> int2: この細胞蛋白質は浮き出す; int2 & fact12 -> int3: この細胞蛋白質は罹り易い; int3 & fact5 -> int4: この細胞蛋白質は罹り易いし実感する; int4 -> int5: なんらかのものは罹り易いしさらに実感する; int5 & fact11 -> int6: その管理ツールは苦しない; fact15 -> int7: 「その管理ツールは苦しない」ということは事実だとすると撥ね飛ばす; int6 & int7 -> int8: 「その管理ツールは撥ね飛ばす」ということは本当だ; int8 & fact9 -> hypothesis; __PROVED__
事実1: もしも「何らかのものは手っ取り早くないけど実感する」ということは間違いだとしたらそれは手っ取り早い
事実2: あの沿岸都市は手っ取り早い
事実3: 仮に「あの沿岸都市は手っ取り早い」ということは成り立つなら「それはマン島だ」ということは成り立つ
事実4: もし「この細胞蛋白質は手っ取り早くないし加えてそれは浮き出さない」ということは偽なら「マン島だ」ということは成り立つ
事実5: この細胞蛋白質は実感する
事実6: 仮にあの沿岸都市がマン島であるとするとこの細胞蛋白質は浮き出す
事実7: 「罹り易い」ものはある
事実8: もし「罹り易い」物はあるとすると「その管理ツールは手っ取り早くないがしかしそれは実感する」ということは間違いである
事実9: 仮にその管理ツールが撥ね飛ばすとしたらあの電子多対多メディアは建値制だ
事実10: この細胞蛋白質は苦し
事実11: 仮に罹り易い物が実感するとすればその管理ツールは苦しない
事実12: もし仮にこの細胞蛋白質が浮き出すとしたら罹り易い
事実13: 仮に「成り易い」ものはあるなら「この温かさは棒読みしなくて更に成り易くない」ということは間違いだ
事実14: もしも「手っ取り早い」ものはあれば「この細胞蛋白質は手っ取り早くないししかも浮き出さない」ということは誤りだ
事実15: 苦しない物は撥ね飛ばす
事実16: 「成り易い」ものはある
事実17: もしあの精神保健法が撥ね飛ばさないが苦しとしたらその薄気味は罹り易い
事実18: 仮にこの温かさが棒読みするとしたらあの精神保健法は撥ね飛ばさないがそれは苦し
事実19: もしあの沿岸都市が撥ね飛ばすならその管理ツールはマン島だ
事実20: もしも「この温かさは棒読みしなくて成り易いということはない」ということは誤っているとしたらそれは棒読みする

仮説: あの電子多対多メディアは建値制である
1. 事実3と事実2から、推論1: "あの沿岸都市はマン島である"が導かれる
2. 推論1と事実6から、推論2: "この細胞蛋白質は浮き出す"が導かれる
3. 推論2と事実12から、推論3: "この細胞蛋白質は罹り易い"が導かれる
4. 推論3と事実5から、推論4: "この細胞蛋白質は罹り易いし実感する"が導かれる
5. 推論4から、推論5: "なんらかのものは罹り易いしさらに実感する"が導かれる
6. 推論5と事実11から、推論6: "その管理ツールは苦しない"が導かれる
7. 事実15から、推論7: "「その管理ツールは苦しない」ということは事実だとすると撥ね飛ばす"が導かれる
8. 推論6と推論7から、推論8: "「その管理ツールは撥ね飛ばす」ということは本当だ"が導かれる
9. 推論8と事実9から、仮説が導かれる

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