このＳＥＣは厚着する
fact1: その千九百年代が厚着するとするとこのＳＥＣは塗れる fact2: 「その千九百年代は塗れる」ということは成り立つ fact3: その千九百年代は取り合えるし塗れる fact4: その千九百年代は塗れるしおまけにそれは厚着する fact5: もし「その千九百年代は取り合えない」ということは正しいということはないならばこのＳＥＣは厚着する fact6: 仮にとある物が厚着しないかそれは塗れないなら「厚着しない」ということは確かである fact7: その千九百年代は厚着する fact8: その千九百年代は塗れるしＣＬＰＡである fact9: もしもその千九百年代は取り易くないならば「それは写経でない一方で帰還兵達だ」ということは誤っている
fact3 -> int1: その千九百年代は取り合える; int1 & fact5 -> hypothesis;
このＳＥＣは厚着しない
fact10 -> int2: 仮にこのＳＥＣが厚着しないかもしくはそれは塗れないかどちらもであるならそれは厚着するということはない;
$facts$ = fact1: その千九百年代が厚着するとするとこのＳＥＣは塗れる fact2: 「その千九百年代は塗れる」ということは成り立つ fact3: その千九百年代は取り合えるし塗れる fact4: その千九百年代は塗れるしおまけにそれは厚着する fact5: もし「その千九百年代は取り合えない」ということは正しいということはないならばこのＳＥＣは厚着する fact6: 仮にとある物が厚着しないかそれは塗れないなら「厚着しない」ということは確かである fact7: その千九百年代は厚着する fact8: その千九百年代は塗れるしＣＬＰＡである fact9: もしもその千九百年代は取り易くないならば「それは写経でない一方で帰還兵達だ」ということは誤っている ; $hypothesis$ = このＳＥＣは厚着する ; $proof$ = 
fact3 -> int1: その千九百年代は取り合える; int1 & fact5 -> hypothesis; __PROVED__
事実1: その千九百年代が厚着するとするとこのＳＥＣは塗れる
事実2: 「その千九百年代は塗れる」ということは成り立つ
事実3: その千九百年代は取り合えるし塗れる
事実4: その千九百年代は塗れるしおまけにそれは厚着する
事実5: もし「その千九百年代は取り合えない」ということは正しいということはないならばこのＳＥＣは厚着する
事実6: 仮にとある物が厚着しないかそれは塗れないなら「厚着しない」ということは確かである
事実7: その千九百年代は厚着する
事実8: その千九百年代は塗れるしＣＬＰＡである
事実9: もしもその千九百年代は取り易くないならば「それは写経でない一方で帰還兵達だ」ということは誤っている

仮説: このＳＥＣは厚着する
1. 事実3から、推論1: "その千九百年代は取り合える"が導かれる
2. 推論1と事実5から、仮説が導かれる

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