「あの蛇の目は埋め尽くす」ということは確かだ
fact1: 「この流刑は怒りっぽくないかまたはそれは身延本だ」ということは間違っているならそれは計算間違いである fact2: もしもその武術家は情報コーナーなら「あの蛇の目は埋め尽くす」ということは成り立つ fact3: もし「この流刑は身延本であるかまたは計算間違いだ」ということは本当であるということはないならそれは埋め尽くす fact4: 「この流刑は怒りっぽくないかそれは身延本であるかまたは両方だ」ということは偽だ fact5: もしも何かは計算間違いでないとしたら「情報コーナーであるしそれにそれは埋め尽くす」ということは偽だ fact6: もし仮にこの流刑が計算間違いであるとするとその武術家は情報コーナーだ
fact1 & fact4 -> int1: この流刑は計算間違いである; int1 & fact6 -> int2: その武術家は情報コーナーである; int2 & fact2 -> hypothesis;
「あの蛇の目は埋め尽くすということはない」ということは正しい
fact7 -> int3: この流刑は計算間違いでないならば「それは情報コーナーでおまけにそれは埋め尽くす」ということは間違っている;
$facts$ = fact1: 「この流刑は怒りっぽくないかまたはそれは身延本だ」ということは間違っているならそれは計算間違いである fact2: もしもその武術家は情報コーナーなら「あの蛇の目は埋め尽くす」ということは成り立つ fact3: もし「この流刑は身延本であるかまたは計算間違いだ」ということは本当であるということはないならそれは埋め尽くす fact4: 「この流刑は怒りっぽくないかそれは身延本であるかまたは両方だ」ということは偽だ fact5: もしも何かは計算間違いでないとしたら「情報コーナーであるしそれにそれは埋め尽くす」ということは偽だ fact6: もし仮にこの流刑が計算間違いであるとするとその武術家は情報コーナーだ ; $hypothesis$ = 「あの蛇の目は埋め尽くす」ということは確かだ ; $proof$ = 
fact1 & fact4 -> int1: この流刑は計算間違いである; int1 & fact6 -> int2: その武術家は情報コーナーである; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「この流刑は怒りっぽくないかまたはそれは身延本だ」ということは間違っているならそれは計算間違いである
事実2: もしもその武術家は情報コーナーなら「あの蛇の目は埋め尽くす」ということは成り立つ
事実3: もし「この流刑は身延本であるかまたは計算間違いだ」ということは本当であるということはないならそれは埋め尽くす
事実4: 「この流刑は怒りっぽくないかそれは身延本であるかまたは両方だ」ということは偽だ
事実5: もしも何かは計算間違いでないとしたら「情報コーナーであるしそれにそれは埋め尽くす」ということは偽だ
事実6: もし仮にこの流刑が計算間違いであるとするとその武術家は情報コーナーだ

仮説: 「あの蛇の目は埋め尽くす」ということは確かだ
1. 事実1と事実4から、推論1: "この流刑は計算間違いである"が導かれる
2. 推論1と事実6から、推論2: "その武術家は情報コーナーである"が導かれる
3. 推論2と事実2から、仮説が導かれる

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