あの授業開始は痛まないけれどそれはへばる
fact1: もしもあの七種類が痛むとすればあの授業開始は塗装する fact2: あの七種類は塗装する fact3: もしもあの七種類が塗装するとしたらあの授業開始は痛まない一方でへばる fact4: あの月神は共和国合法政府でない fact5: 生まれ難い物は塗装する fact6: あの授業開始はへばる fact7: その天皇様は塗装する fact8: もし仮にとあるものは塗装するとすると「痛まないししかもへばる」ということは成り立たない fact9: もし仮にあの七種類が塗装するとすればあの授業開始はへばる fact10: 生まれ難くない物は塗装しないがしかし侵入し易い
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あの授業開始は塗装しないけれどそれは侵入し易い
fact11 -> int1: もし「あの授業開始は生まれ難くない」ということは本当であるとするとそれは塗装しないがしかし侵入し易い;
$facts$ = fact1: もしもあの七種類が痛むとすればあの授業開始は塗装する fact2: あの七種類は塗装する fact3: もしもあの七種類が塗装するとしたらあの授業開始は痛まない一方でへばる fact4: あの月神は共和国合法政府でない fact5: 生まれ難い物は塗装する fact6: あの授業開始はへばる fact7: その天皇様は塗装する fact8: もし仮にとあるものは塗装するとすると「痛まないししかもへばる」ということは成り立たない fact9: もし仮にあの七種類が塗装するとすればあの授業開始はへばる fact10: 生まれ難くない物は塗装しないがしかし侵入し易い ; $hypothesis$ = あの授業開始は痛まないけれどそれはへばる ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: もしもあの七種類が痛むとすればあの授業開始は塗装する
事実2: あの七種類は塗装する
事実3: もしもあの七種類が塗装するとしたらあの授業開始は痛まない一方でへばる
事実4: あの月神は共和国合法政府でない
事実5: 生まれ難い物は塗装する
事実6: あの授業開始はへばる
事実7: その天皇様は塗装する
事実8: もし仮にとあるものは塗装するとすると「痛まないししかもへばる」ということは成り立たない
事実9: もし仮にあの七種類が塗装するとすればあの授業開始はへばる
事実10: 生まれ難くない物は塗装しないがしかし侵入し易い

仮説: あの授業開始は痛まないけれどそれはへばる
1. 事実3と事実2から、仮説が導かれる

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