「そのブルーブックは白しない一方で一所である」ということは誤っている
fact1: もし仮に「あの殉教は白し」ということは事実であるとしたら「「そのブルーブックは白しないけれど一所だ」ということは成り立つ」ということは真実だということはない fact2: もしもこの議案が醸成するとするとあの殉教は白し fact3: 仮に「何かは関心事であるが醸成しない」ということは偽であるならばそれは見境無いということはない fact4: もし仮になんらかの物は受け答えするとしたら「それは御会い出来ないが疾駆する」ということは正しくない fact5: すべての物は見境無いということはないし更にそれは関心事である fact6: もし仮に「あの殉教は受け答えするがしかし焚けない」ということは間違っているならばあの議案は受け答えする fact7: あの入社試験が見境無くないが関心事であるとしたらこの議案は醸成する fact8: とあるものは均すとすれば「それは関心事であるし醸成しない」ということは成り立たない fact9: もし「なにかは御会い出来ない一方で疾駆する」ということは誤りであるならば均す
fact5 -> int1: あの入社試験は見境無くないが関心事である; int1 & fact7 -> int2: この議案は醸成する; int2 & fact2 -> int3: 「あの殉教は白し」ということは確かだ; int3 & fact1 -> hypothesis;
そのブルーブックは白しないが一所である
fact12 -> int4: もし「この議案は関心事である一方で醸成しない」ということは成り立たないとしたらそれは見境無くない; fact11 -> int5: 「この議案は均すとしたら「この議案は関心事だ一方でそれは醸成しない」ということは誤っている」ということは偽でない; fact14 -> int6: もし仮に「この議案は御会い出来ないけどそれは疾駆する」ということは偽なら均す; fact10 -> int7: もしもこの議案は受け答えするなら「それは御会い出来るということはなくて疾駆する」ということは事実と異なる;
$facts$ = fact1: もし仮に「あの殉教は白し」ということは事実であるとしたら「「そのブルーブックは白しないけれど一所だ」ということは成り立つ」ということは真実だということはない fact2: もしもこの議案が醸成するとするとあの殉教は白し fact3: 仮に「何かは関心事であるが醸成しない」ということは偽であるならばそれは見境無いということはない fact4: もし仮になんらかの物は受け答えするとしたら「それは御会い出来ないが疾駆する」ということは正しくない fact5: すべての物は見境無いということはないし更にそれは関心事である fact6: もし仮に「あの殉教は受け答えするがしかし焚けない」ということは間違っているならばあの議案は受け答えする fact7: あの入社試験が見境無くないが関心事であるとしたらこの議案は醸成する fact8: とあるものは均すとすれば「それは関心事であるし醸成しない」ということは成り立たない fact9: もし「なにかは御会い出来ない一方で疾駆する」ということは誤りであるならば均す ; $hypothesis$ = 「そのブルーブックは白しない一方で一所である」ということは誤っている ; $proof$ = 
fact5 -> int1: あの入社試験は見境無くないが関心事である; int1 & fact7 -> int2: この議案は醸成する; int2 & fact2 -> int3: 「あの殉教は白し」ということは確かだ; int3 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「あの殉教は白し」ということは事実であるとしたら「「そのブルーブックは白しないけれど一所だ」ということは成り立つ」ということは真実だということはない
事実2: もしもこの議案が醸成するとするとあの殉教は白し
事実3: 仮に「何かは関心事であるが醸成しない」ということは偽であるならばそれは見境無いということはない
事実4: もし仮になんらかの物は受け答えするとしたら「それは御会い出来ないが疾駆する」ということは正しくない
事実5: すべての物は見境無いということはないし更にそれは関心事である
事実6: もし仮に「あの殉教は受け答えするがしかし焚けない」ということは間違っているならばあの議案は受け答えする
事実7: あの入社試験が見境無くないが関心事であるとしたらこの議案は醸成する
事実8: とあるものは均すとすれば「それは関心事であるし醸成しない」ということは成り立たない
事実9: もし「なにかは御会い出来ない一方で疾駆する」ということは誤りであるならば均す

仮説: 「そのブルーブックは白しない一方で一所である」ということは誤っている
1. 事実5から、推論1: "あの入社試験は見境無くないが関心事である"が導かれる
2. 推論1と事実7から、推論2: "この議案は醸成する"が導かれる
3. 推論2と事実2から、推論3: "「あの殉教は白し」ということは確かだ"が導かれる
4. 推論3と事実1から、仮説が導かれる

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