「あの一世帯平均人数はテレホンカードだ一方で抗議行動でない」ということは誤りだ
fact1: もし仮に何かは聞き忘れるとすると冷やす fact2: もしあの人的抗弁はテレホンカードであるとしたら「あの一世帯平均人数はテレホンカードだけど抗議行動だということはない」ということは成り立たない fact3: もしも「「抗議行動であるしテレホンカードだ」ということは成り立つということはない」ものがあるならそのポリメラーゼはフレッツ接続ツールでない fact4: あの石油コンビナートは大人らしいし加えてパンツスーツである fact5: もしもあの石油コンビナートがフレッツ接続ツールであるならあの人的抗弁はテレホンカードである fact6: もし何かは大人らしいならばそれはフレッツ接続ツールだ fact7: あの石油コンビナートは入れ為さる fact8: もしも何かは在韓被爆者でないなら「抗議行動であるしそれにそれはテレホンカードだ」ということは偽だ fact9: 全ては在韓被爆者でない
fact4 -> int1: あの石油コンビナートは大人らしい; fact6 -> int2: あの石油コンビナートが大人らしいとしたらフレッツ接続ツールだ; int1 & int2 -> int3: あの石油コンビナートはフレッツ接続ツールだ; int3 & fact5 -> int4: あの人的抗弁はテレホンカードである; int4 & fact2 -> hypothesis;
そのポリメラーゼはパンツスーツだ
fact11 -> int5: もし仮にあの人的抗弁は在韓被爆者でないならば「抗議行動であるししかもテレホンカードだ」ということは成り立つということはない; fact12 -> int6: あの人的抗弁は在韓被爆者でない; int5 & int6 -> int7: 「「あの人的抗弁は抗議行動であるしテレホンカードである」ということは事実だ」ということは嘘だ; int7 -> int8: それは抗議行動だし更にテレホンカードであるというものはない; int8 -> int9: 「あの石油コンビナートは抗議行動でそれはテレホンカードである」ということは間違っている; int9 -> int10: 「「抗議行動であるしテレホンカードである」ということは事実と異なる」物はある; int10 & fact10 -> int11: そのポリメラーゼはフレッツ接続ツールでない;
$facts$ = fact1: もし仮に何かは聞き忘れるとすると冷やす fact2: もしあの人的抗弁はテレホンカードであるとしたら「あの一世帯平均人数はテレホンカードだけど抗議行動だということはない」ということは成り立たない fact3: もしも「「抗議行動であるしテレホンカードだ」ということは成り立つということはない」ものがあるならそのポリメラーゼはフレッツ接続ツールでない fact4: あの石油コンビナートは大人らしいし加えてパンツスーツである fact5: もしもあの石油コンビナートがフレッツ接続ツールであるならあの人的抗弁はテレホンカードである fact6: もし何かは大人らしいならばそれはフレッツ接続ツールだ fact7: あの石油コンビナートは入れ為さる fact8: もしも何かは在韓被爆者でないなら「抗議行動であるしそれにそれはテレホンカードだ」ということは偽だ fact9: 全ては在韓被爆者でない ; $hypothesis$ = 「あの一世帯平均人数はテレホンカードだ一方で抗議行動でない」ということは誤りだ ; $proof$ = 
fact4 -> int1: あの石油コンビナートは大人らしい; fact6 -> int2: あの石油コンビナートが大人らしいとしたらフレッツ接続ツールだ; int1 & int2 -> int3: あの石油コンビナートはフレッツ接続ツールだ; int3 & fact5 -> int4: あの人的抗弁はテレホンカードである; int4 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に何かは聞き忘れるとすると冷やす
事実2: もしあの人的抗弁はテレホンカードであるとしたら「あの一世帯平均人数はテレホンカードだけど抗議行動だということはない」ということは成り立たない
事実3: もしも「「抗議行動であるしテレホンカードだ」ということは成り立つということはない」ものがあるならそのポリメラーゼはフレッツ接続ツールでない
事実4: あの石油コンビナートは大人らしいし加えてパンツスーツである
事実5: もしもあの石油コンビナートがフレッツ接続ツールであるならあの人的抗弁はテレホンカードである
事実6: もし何かは大人らしいならばそれはフレッツ接続ツールだ
事実7: あの石油コンビナートは入れ為さる
事実8: もしも何かは在韓被爆者でないなら「抗議行動であるしそれにそれはテレホンカードだ」ということは偽だ
事実9: 全ては在韓被爆者でない

仮説: 「あの一世帯平均人数はテレホンカードだ一方で抗議行動でない」ということは誤りだ
1. 事実4から、推論1: "あの石油コンビナートは大人らしい"が導かれる
2. 事実6から、推論2: "あの石油コンビナートが大人らしいとしたらフレッツ接続ツールだ"が導かれる
3. 推論1と推論2から、推論3: "あの石油コンビナートはフレッツ接続ツールだ"が導かれる
4. 推論3と事実5から、推論4: "あの人的抗弁はテレホンカードである"が導かれる
5. 推論4と事実2から、仮説が導かれる

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