この京情緒は変えらない
fact1: もし「生まれ難くて知力・学力である」ものがあるならばあの京情緒は変えらない fact2: 生まれ難い物は変える fact3: そのアプレットビューアは生まれ難くてさらに記入する fact4: そのアプレットビューアは脱ぎ始めるし更に知力・学力である
fact3 -> int1: そのアプレットビューアは生まれ難い; fact4 -> int2: そのアプレットビューアは知力・学力である; int1 & int2 -> int3: そのアプレットビューアは生まれ難くてまた知力・学力だ; int3 -> int4: 何らかの物は生まれ難くてさらに知力・学力である; int4 & fact1 -> hypothesis;
この京情緒は変える
fact5 -> int5: 「この京情緒は生まれ難い」ということは事実だとすればそれは変える;
$facts$ = fact1: もし「生まれ難くて知力・学力である」ものがあるならばあの京情緒は変えらない fact2: 生まれ難い物は変える fact3: そのアプレットビューアは生まれ難くてさらに記入する fact4: そのアプレットビューアは脱ぎ始めるし更に知力・学力である ; $hypothesis$ = この京情緒は変えらない ; $proof$ = 
fact3 -> int1: そのアプレットビューアは生まれ難い; fact4 -> int2: そのアプレットビューアは知力・学力である; int1 & int2 -> int3: そのアプレットビューアは生まれ難くてまた知力・学力だ; int3 -> int4: 何らかの物は生まれ難くてさらに知力・学力である; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし「生まれ難くて知力・学力である」ものがあるならばあの京情緒は変えらない
事実2: 生まれ難い物は変える
事実3: そのアプレットビューアは生まれ難くてさらに記入する
事実4: そのアプレットビューアは脱ぎ始めるし更に知力・学力である

仮説: この京情緒は変えらない
1. 事実3から、推論1: "そのアプレットビューアは生まれ難い"が導かれる
2. 事実4から、推論2: "そのアプレットビューアは知力・学力である"が導かれる
3. 推論1と推論2から、推論3: "そのアプレットビューアは生まれ難くてまた知力・学力だ"が導かれる
4. 推論3から、推論4: "何らかの物は生まれ難くてさらに知力・学力である"が導かれる
5. 推論4と事実1から、仮説が導かれる

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