あの全脳は予讃線だ
fact1: 仮になんらかのものは先進性だとすれば「この疑惑はリレーするけどそれは引率するということはない」ということは嘘だ fact2: もし何らかのものは先進性でないけれどリレーするなら予讃線でない fact3: なんらかのものは先進性である fact4: 「このディンゴは入り難いがしかしスタンバイ・ディスクでない」ということは間違いだ fact5: もしこの疑惑が引率するとしたらあの全脳は予讃線だ fact6: 仮になんらかのものは引率するなら「この疑惑はリレーする一方で予讃線でない」ということは成り立たない fact7: もしもあの全脳がリレーするとすればこの疑惑は予讃線である fact8: 「予讃線である」物はある fact9: もし仮に「この疑惑はリレーするけどそれは引率しない」ということは本当でないならば「あの全脳は予讃線だ」ということは成り立つ fact10: もしも「この疑惑は予讃線である」ということは確かであるとすればあの全脳はリレーする fact11: 「あの全脳は予讃線だけれど引率しない」ということは誤りである fact12: 仮になにがしかの物は先進性であるなら「この疑惑はリレーするししかもそれは引率する」ということは嘘だ fact13: もし仮に何かは引率するとすると「あの全脳がリレーするしその上予讃線である」ということは偽だ fact14: 「この疑惑はリレーするしそれは引率する」ということは確かでない
fact3 & fact1 -> int1: 「この疑惑はリレーするがしかし引率しない」ということは間違っている; int1 & fact9 -> hypothesis;
fact3 & fact1 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact9 -> hypothesis;
あの全脳は予讃線でない
fact15 -> int2: 仮にあの全脳が先進性でない一方でそれがリレーするとすればそれは予讃線でない;
$facts$ = fact1: 仮になんらかのものは先進性だとすれば「この疑惑はリレーするけどそれは引率するということはない」ということは嘘だ fact2: もし何らかのものは先進性でないけれどリレーするなら予讃線でない fact3: なんらかのものは先進性である fact4: 「このディンゴは入り難いがしかしスタンバイ・ディスクでない」ということは間違いだ fact5: もしこの疑惑が引率するとしたらあの全脳は予讃線だ fact6: 仮になんらかのものは引率するなら「この疑惑はリレーする一方で予讃線でない」ということは成り立たない fact7: もしもあの全脳がリレーするとすればこの疑惑は予讃線である fact8: 「予讃線である」物はある fact9: もし仮に「この疑惑はリレーするけどそれは引率しない」ということは本当でないならば「あの全脳は予讃線だ」ということは成り立つ fact10: もしも「この疑惑は予讃線である」ということは確かであるとすればあの全脳はリレーする fact11: 「あの全脳は予讃線だけれど引率しない」ということは誤りである fact12: 仮になにがしかの物は先進性であるなら「この疑惑はリレーするししかもそれは引率する」ということは嘘だ fact13: もし仮に何かは引率するとすると「あの全脳がリレーするしその上予讃線である」ということは偽だ fact14: 「この疑惑はリレーするしそれは引率する」ということは確かでない ; $hypothesis$ = あの全脳は予讃線だ ; $proof$ = 
fact3 & fact1 -> int1: 「この疑惑はリレーするがしかし引率しない」ということは間違っている; int1 & fact9 -> hypothesis; __PROVED__
事実1: 仮になんらかのものは先進性だとすれば「この疑惑はリレーするけどそれは引率するということはない」ということは嘘だ
事実2: もし何らかのものは先進性でないけれどリレーするなら予讃線でない
事実3: なんらかのものは先進性である
事実4: 「このディンゴは入り難いがしかしスタンバイ・ディスクでない」ということは間違いだ
事実5: もしこの疑惑が引率するとしたらあの全脳は予讃線だ
事実6: 仮になんらかのものは引率するなら「この疑惑はリレーする一方で予讃線でない」ということは成り立たない
事実7: もしもあの全脳がリレーするとすればこの疑惑は予讃線である
事実8: 「予讃線である」物はある
事実9: もし仮に「この疑惑はリレーするけどそれは引率しない」ということは本当でないならば「あの全脳は予讃線だ」ということは成り立つ
事実10: もしも「この疑惑は予讃線である」ということは確かであるとすればあの全脳はリレーする
事実11: 「あの全脳は予讃線だけれど引率しない」ということは誤りである
事実12: 仮になにがしかの物は先進性であるなら「この疑惑はリレーするししかもそれは引率する」ということは嘘だ
事実13: もし仮に何かは引率するとすると「あの全脳がリレーするしその上予讃線である」ということは偽だ
事実14: 「この疑惑はリレーするしそれは引率する」ということは確かでない

仮説: あの全脳は予讃線だ
1. 事実3と事実1から、推論1: "「この疑惑はリレーするがしかし引率しない」ということは間違っている"が導かれる
2. 推論1と事実9から、仮説が導かれる

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