あの観光目的は忌避する
fact1: そのタクシー・ドライバーはクライスト・チャーチだ fact2: ロシア支援室はオーバーシュートするということはないかもしくは忌避しないかもしくはどちらもである fact3: 「「「その水晶体が指骨だけどクライスト・チャーチでない」ということは正しい」ということは本当でない」ということは事実と異ならない fact4: 「その水晶体は指骨であるし加えてクライスト・チャーチだ」ということは成り立たない fact5: 仮にその水晶体がオーバーシュートしないかもしくはそれが忌避しないとすればその叱責はオーバーシュートするということはない fact6: 仮にあの観光目的は浅見だとすれば「それは忌避する」ということは事実である fact7: 仮にその水晶体がクライスト・チャーチだとするとオーバーシュートする fact8: 仮にあの観光目的はクライスト・チャーチであるなら忌避する fact9: そのユニホームはオーバーシュートする fact10: 仮に「その水晶体は指骨だけれどクライスト・チャーチでない」ということは偽であるとするとそれはオーバーシュートする fact11: その水晶体が浅見である一方で忌避しないならばあの観光目的は忌避しない fact12: 取り結ぶけどロシア支援室でないという物はない fact13: もし「なにがしかの物は取り結ぶ一方でロシア支援室だということはない」ということは事実と異なるとするとロシア支援室だ fact14: あの観光目的は指骨だ fact15: その水晶体がオーバーシュートするならあの観光目的は浅見である
fact10 & fact3 -> int1: その水晶体はオーバーシュートする; int1 & fact15 -> int2: 「あの観光目的は浅見だ」ということは成り立つ; int2 & fact6 -> hypothesis;
あの観光目的は忌避しない
$facts$ = fact1: そのタクシー・ドライバーはクライスト・チャーチだ fact2: ロシア支援室はオーバーシュートするということはないかもしくは忌避しないかもしくはどちらもである fact3: 「「「その水晶体が指骨だけどクライスト・チャーチでない」ということは正しい」ということは本当でない」ということは事実と異ならない fact4: 「その水晶体は指骨であるし加えてクライスト・チャーチだ」ということは成り立たない fact5: 仮にその水晶体がオーバーシュートしないかもしくはそれが忌避しないとすればその叱責はオーバーシュートするということはない fact6: 仮にあの観光目的は浅見だとすれば「それは忌避する」ということは事実である fact7: 仮にその水晶体がクライスト・チャーチだとするとオーバーシュートする fact8: 仮にあの観光目的はクライスト・チャーチであるなら忌避する fact9: そのユニホームはオーバーシュートする fact10: 仮に「その水晶体は指骨だけれどクライスト・チャーチでない」ということは偽であるとするとそれはオーバーシュートする fact11: その水晶体が浅見である一方で忌避しないならばあの観光目的は忌避しない fact12: 取り結ぶけどロシア支援室でないという物はない fact13: もし「なにがしかの物は取り結ぶ一方でロシア支援室だということはない」ということは事実と異なるとするとロシア支援室だ fact14: あの観光目的は指骨だ fact15: その水晶体がオーバーシュートするならあの観光目的は浅見である ; $hypothesis$ = あの観光目的は忌避する ; $proof$ = 
fact10 & fact3 -> int1: その水晶体はオーバーシュートする; int1 & fact15 -> int2: 「あの観光目的は浅見だ」ということは成り立つ; int2 & fact6 -> hypothesis; __PROVED__
事実1: そのタクシー・ドライバーはクライスト・チャーチだ
事実2: ロシア支援室はオーバーシュートするということはないかもしくは忌避しないかもしくはどちらもである
事実3: 「「「その水晶体が指骨だけどクライスト・チャーチでない」ということは正しい」ということは本当でない」ということは事実と異ならない
事実4: 「その水晶体は指骨であるし加えてクライスト・チャーチだ」ということは成り立たない
事実5: 仮にその水晶体がオーバーシュートしないかもしくはそれが忌避しないとすればその叱責はオーバーシュートするということはない
事実6: 仮にあの観光目的は浅見だとすれば「それは忌避する」ということは事実である
事実7: 仮にその水晶体がクライスト・チャーチだとするとオーバーシュートする
事実8: 仮にあの観光目的はクライスト・チャーチであるなら忌避する
事実9: そのユニホームはオーバーシュートする
事実10: 仮に「その水晶体は指骨だけれどクライスト・チャーチでない」ということは偽であるとするとそれはオーバーシュートする
事実11: その水晶体が浅見である一方で忌避しないならばあの観光目的は忌避しない
事実12: 取り結ぶけどロシア支援室でないという物はない
事実13: もし「なにがしかの物は取り結ぶ一方でロシア支援室だということはない」ということは事実と異なるとするとロシア支援室だ
事実14: あの観光目的は指骨だ
事実15: その水晶体がオーバーシュートするならあの観光目的は浅見である

仮説: あの観光目的は忌避する
1. 事実10と事実3から、推論1: "その水晶体はオーバーシュートする"が導かれる
2. 推論1と事実15から、推論2: "「あの観光目的は浅見だ」ということは成り立つ"が導かれる
3. 推論2と事実6から、仮説が導かれる

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