このエッセーは十日条でない
fact1: 「向かう」物があるとしたらこのエッセーは十日条だということはなくてそれにＳＥＭＩでない fact2: なにかは十日条である fact3: 「あのキャプチャーは十日条でない」ということは確かである fact4: 「向かう」物はある fact5: 「十日条な」物があるならこのエッセーはＳＥＭＩでない
fact4 & fact1 -> int1: このエッセーは十日条でなくて更にＳＥＭＩであるということはない; int1 -> hypothesis;
$facts$ = fact1: 「向かう」物があるとしたらこのエッセーは十日条だということはなくてそれにＳＥＭＩでない fact2: なにかは十日条である fact3: 「あのキャプチャーは十日条でない」ということは確かである fact4: 「向かう」物はある fact5: 「十日条な」物があるならこのエッセーはＳＥＭＩでない ; $hypothesis$ = このエッセーは十日条でない ; $proof$ = 
fact4 & fact1 -> int1: このエッセーは十日条でなくて更にＳＥＭＩであるということはない; int1 -> hypothesis; __PROVED__
事実1: 「向かう」物があるとしたらこのエッセーは十日条だということはなくてそれにＳＥＭＩでない
事実2: なにかは十日条である
事実3: 「あのキャプチャーは十日条でない」ということは確かである
事実4: 「向かう」物はある
事実5: 「十日条な」物があるならこのエッセーはＳＥＭＩでない

仮説: このエッセーは十日条でない
1. 事実4と事実1から、推論1: "このエッセーは十日条でなくて更にＳＥＭＩであるということはない"が導かれる
2. 推論1から、仮説が導かれる

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