このプロテオミクス解析は柔いがすごーくない
fact1: 居辛くない物は柔い一方で尖み付けるということはない fact2: 仮に「とあるものはサーバログ型だ」ということは事実ならば「それは柔いがしかしすごーくない」ということは間違っている fact3: この敵手看破・狙い役は訪室しない fact4: このトリップはサーバログ型でない fact5: このトリップは訪室しない fact6: 仮にこのトリップがサーバログ型であるとしたらこのプロテオミクス解析はサーバログ型だ fact7: 居辛くないものは尖み付けるということはない fact8: このプロテオミクス解析は尖み付けない fact9: 仮にあの乗降はバイオチップであるとしたら「あの手摺壁は居辛くないしかつ非嫡出子だということはない」ということは事実と異なる fact10: 「サーバログ型だ一方で訪室しない」ものはある fact11: もしも「サーバログ型でないし更に訪室しない」ものがあるとすればこのプロテオミクス解析はすごーくない fact12: このプロテオミクス解析は居辛くない fact13: 「サーバログ型でない」物はある fact14: 「訪室しない」ものはある fact15: あの乗降はバイオチップだ fact16: 「なにかは居辛くなくてそれに非嫡出子でない」ということは間違いであるならばそれは居辛い fact17: 居辛いものは尖み付けない fact18: 「サーバログ型でないしさらに訪室する」ものはある fact19: もしもこのプロテオミクス解析が居辛くないならばそれは尖み付けない
fact4 & fact5 -> int1: このトリップはサーバログ型でなくて訪室しない; int1 -> int2: 「サーバログ型でないしその上訪室しない」ものはある; int2 & fact11 -> int3: このプロテオミクス解析はすごーくない; fact1 -> int4: もしもこのプロテオミクス解析が居辛くないとすればそれは柔いし尖み付けない; int4 & fact12 -> int5: このプロテオミクス解析は柔いけれどそれは尖み付けない; int5 -> int6: このプロテオミクス解析は柔い; int3 & int6 -> hypothesis;
「「このプロテオミクス解析は柔いがすごーいということはない」ということは確かだ」ということは成り立たない
fact24 -> int7: もし仮にこのプロテオミクス解析はサーバログ型であるなら「柔いがしかしすごーいということはない」ということは成り立たない; fact20 -> int8: もしもあの手摺壁が居辛いとすれば尖み付けない; fact21 -> int9: もし仮に「あの手摺壁は居辛いということはないし更に非嫡出子でない」ということは間違いだとするとそれは居辛い; fact22 & fact23 -> int10: 「あの手摺壁は居辛くないしその上それは非嫡出子でない」ということは嘘だ; int9 & int10 -> int11: 「あの手摺壁は居辛くない」ということは成り立たない; int8 & int11 -> int12: あの手摺壁は尖み付けない; int12 -> int13: 「尖み付けるということはない」物はある;
$facts$ = fact1: 居辛くない物は柔い一方で尖み付けるということはない fact2: 仮に「とあるものはサーバログ型だ」ということは事実ならば「それは柔いがしかしすごーくない」ということは間違っている fact3: この敵手看破・狙い役は訪室しない fact4: このトリップはサーバログ型でない fact5: このトリップは訪室しない fact6: 仮にこのトリップがサーバログ型であるとしたらこのプロテオミクス解析はサーバログ型だ fact7: 居辛くないものは尖み付けるということはない fact8: このプロテオミクス解析は尖み付けない fact9: 仮にあの乗降はバイオチップであるとしたら「あの手摺壁は居辛くないしかつ非嫡出子だということはない」ということは事実と異なる fact10: 「サーバログ型だ一方で訪室しない」ものはある fact11: もしも「サーバログ型でないし更に訪室しない」ものがあるとすればこのプロテオミクス解析はすごーくない fact12: このプロテオミクス解析は居辛くない fact13: 「サーバログ型でない」物はある fact14: 「訪室しない」ものはある fact15: あの乗降はバイオチップだ fact16: 「なにかは居辛くなくてそれに非嫡出子でない」ということは間違いであるならばそれは居辛い fact17: 居辛いものは尖み付けない fact18: 「サーバログ型でないしさらに訪室する」ものはある fact19: もしもこのプロテオミクス解析が居辛くないならばそれは尖み付けない ; $hypothesis$ = このプロテオミクス解析は柔いがすごーくない ; $proof$ = 
fact4 & fact5 -> int1: このトリップはサーバログ型でなくて訪室しない; int1 -> int2: 「サーバログ型でないしその上訪室しない」ものはある; int2 & fact11 -> int3: このプロテオミクス解析はすごーくない; fact1 -> int4: もしもこのプロテオミクス解析が居辛くないとすればそれは柔いし尖み付けない; int4 & fact12 -> int5: このプロテオミクス解析は柔いけれどそれは尖み付けない; int5 -> int6: このプロテオミクス解析は柔い; int3 & int6 -> hypothesis; __PROVED__
事実1: 居辛くない物は柔い一方で尖み付けるということはない
事実2: 仮に「とあるものはサーバログ型だ」ということは事実ならば「それは柔いがしかしすごーくない」ということは間違っている
事実3: この敵手看破・狙い役は訪室しない
事実4: このトリップはサーバログ型でない
事実5: このトリップは訪室しない
事実6: 仮にこのトリップがサーバログ型であるとしたらこのプロテオミクス解析はサーバログ型だ
事実7: 居辛くないものは尖み付けるということはない
事実8: このプロテオミクス解析は尖み付けない
事実9: 仮にあの乗降はバイオチップであるとしたら「あの手摺壁は居辛くないしかつ非嫡出子だということはない」ということは事実と異なる
事実10: 「サーバログ型だ一方で訪室しない」ものはある
事実11: もしも「サーバログ型でないし更に訪室しない」ものがあるとすればこのプロテオミクス解析はすごーくない
事実12: このプロテオミクス解析は居辛くない
事実13: 「サーバログ型でない」物はある
事実14: 「訪室しない」ものはある
事実15: あの乗降はバイオチップだ
事実16: 「なにかは居辛くなくてそれに非嫡出子でない」ということは間違いであるならばそれは居辛い
事実17: 居辛いものは尖み付けない
事実18: 「サーバログ型でないしさらに訪室する」ものはある
事実19: もしもこのプロテオミクス解析が居辛くないならばそれは尖み付けない

仮説: このプロテオミクス解析は柔いがすごーくない
1. 事実4と事実5から、推論1: "このトリップはサーバログ型でなくて訪室しない"が導かれる
2. 推論1から、推論2: "「サーバログ型でないしその上訪室しない」ものはある"が導かれる
3. 推論2と事実11から、推論3: "このプロテオミクス解析はすごーくない"が導かれる
4. 事実1から、推論4: "もしもこのプロテオミクス解析が居辛くないとすればそれは柔いし尖み付けない"が導かれる
5. 推論4と事実12から、推論5: "このプロテオミクス解析は柔いけれどそれは尖み付けない"が導かれる
6. 推論5から、推論6: "このプロテオミクス解析は柔い"が導かれる
7. 推論3と推論6から、仮説が導かれる

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