あのピンフは武闘家であるししかも超過速度である
fact1: もし仮にこの猩々が姉達でなくて更にＴ・Ｔさんでないとしたらあのピンフは武闘家である fact2: 仮に「「導入しないけれど色好い」ということは誤っている」ものがあるとすればあのピンフは超過速度だ fact3: もしこの猩々は直進でないとしたらそれはレコード化しない fact4: もしも「そのかんかん帽は公正妥当だ」ということは正しいとするとこの猩々は姉達だということはない fact5: もしなにかはぶっちゃけるけれどそれが腫れぼったくないとすればこの猩々は直進でない fact6: なんらかのものは公正妥当でないとすれば「武闘家だしさらに超過速度だ」ということは成り立たない fact7: そのかんかん帽が公正妥当であるとしたらこの猩々は姉達でなくてそれにＴ・Ｔさんでない fact8: もしも何かは導入するとすればそれは公正妥当であるかまたは色好くないかもしくは両方ともである fact9: 「あの通信機器は導入しないけど色好い」ということは誤っている fact10: そのかんかん帽は公正妥当だ fact11: 仮に「「超過速度でないしかつ姉達である」ということは間違いな」物があるならあのピンフはＴ・Ｔさんである fact12: あの通信機器はぶっちゃけるけどそれは腫れぼったいということはない
fact7 & fact10 -> int1: この猩々は姉達でないしＴ・Ｔさんだということはない; int1 & fact1 -> int2: あのピンフは武闘家だ; fact9 -> int3: 「「「導入しないが色好い」ということは成り立つ」ということは成り立たない」ものはある; fact2 & int3 -> int4: あのピンフは超過速度だ; int2 & int4 -> hypothesis;
fact7 & fact10 -> int1: (¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> int2: {B}{c}; fact9 -> int3: (Ex): ¬(¬{E}x & {D}x); fact2 & int3 -> int4: {C}{c}; int2 & int4 -> hypothesis;
「あのピンフは武闘家だししかも超過速度だ」ということは間違いだ
fact17 -> int5: 仮にあのピンフは公正妥当でないとすると「武闘家で超過速度だ」ということは成り立たない; fact15 -> int6: もし仮にそのかんかん帽が導入するなら公正妥当であるかもしくはそれは色好いということはない; fact13 -> int7: 「なにかはぶっちゃける一方でそれは腫れぼったくない」ということは確かだ; int7 & fact16 -> int8: この猩々は直進でない; fact14 & int8 -> int9: この猩々はレコード化しない; int9 -> int10: 「なにがしかの物はレコード化しない」ということは誤りでない;
$facts$ = fact1: もし仮にこの猩々が姉達でなくて更にＴ・Ｔさんでないとしたらあのピンフは武闘家である fact2: 仮に「「導入しないけれど色好い」ということは誤っている」ものがあるとすればあのピンフは超過速度だ fact3: もしこの猩々は直進でないとしたらそれはレコード化しない fact4: もしも「そのかんかん帽は公正妥当だ」ということは正しいとするとこの猩々は姉達だということはない fact5: もしなにかはぶっちゃけるけれどそれが腫れぼったくないとすればこの猩々は直進でない fact6: なんらかのものは公正妥当でないとすれば「武闘家だしさらに超過速度だ」ということは成り立たない fact7: そのかんかん帽が公正妥当であるとしたらこの猩々は姉達でなくてそれにＴ・Ｔさんでない fact8: もしも何かは導入するとすればそれは公正妥当であるかまたは色好くないかもしくは両方ともである fact9: 「あの通信機器は導入しないけど色好い」ということは誤っている fact10: そのかんかん帽は公正妥当だ fact11: 仮に「「超過速度でないしかつ姉達である」ということは間違いな」物があるならあのピンフはＴ・Ｔさんである fact12: あの通信機器はぶっちゃけるけどそれは腫れぼったいということはない ; $hypothesis$ = あのピンフは武闘家であるししかも超過速度である ; $proof$ = 
fact7 & fact10 -> int1: この猩々は姉達でないしＴ・Ｔさんだということはない; int1 & fact1 -> int2: あのピンフは武闘家だ; fact9 -> int3: 「「「導入しないが色好い」ということは成り立つ」ということは成り立たない」ものはある; fact2 & int3 -> int4: あのピンフは超過速度だ; int2 & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの猩々が姉達でなくて更にＴ・Ｔさんでないとしたらあのピンフは武闘家である
事実2: 仮に「「導入しないけれど色好い」ということは誤っている」ものがあるとすればあのピンフは超過速度だ
事実3: もしこの猩々は直進でないとしたらそれはレコード化しない
事実4: もしも「そのかんかん帽は公正妥当だ」ということは正しいとするとこの猩々は姉達だということはない
事実5: もしなにかはぶっちゃけるけれどそれが腫れぼったくないとすればこの猩々は直進でない
事実6: なんらかのものは公正妥当でないとすれば「武闘家だしさらに超過速度だ」ということは成り立たない
事実7: そのかんかん帽が公正妥当であるとしたらこの猩々は姉達でなくてそれにＴ・Ｔさんでない
事実8: もしも何かは導入するとすればそれは公正妥当であるかまたは色好くないかもしくは両方ともである
事実9: 「あの通信機器は導入しないけど色好い」ということは誤っている
事実10: そのかんかん帽は公正妥当だ
事実11: 仮に「「超過速度でないしかつ姉達である」ということは間違いな」物があるならあのピンフはＴ・Ｔさんである
事実12: あの通信機器はぶっちゃけるけどそれは腫れぼったいということはない

仮説: あのピンフは武闘家であるししかも超過速度である
1. 事実7と事実10から、推論1: "この猩々は姉達でないしＴ・Ｔさんだということはない"が導かれる
2. 推論1と事実1から、推論2: "あのピンフは武闘家だ"が導かれる
3. 事実9から、推論3: "「「「導入しないが色好い」ということは成り立つ」ということは成り立たない」ものはある"が導かれる
4. 事実2と推論3から、推論4: "あのピンフは超過速度だ"が導かれる
5. 推論2と推論4から、仮説が導かれる

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