「その新様式は嬲らない」ということは成り立つ
fact1: もしも「「なんらかの物は九年前であるかあるいはそれは赤くない」ということは成り立つ」ということは事実と異なるなら嬲るということはない fact2: もしその新様式は高いとしたら「それは九年前でない」ということは成り立つ fact3: 「この花作りは赤いかまたはそれは七八人でない」ということは正しくない fact4: 「この早暁は高い」ということは成り立つならばあの新様式は高い fact5: もしもある物は高くないとすれば「「すりゃ良いけれど嬲らない」ということは成り立つ」ということは間違っている fact6: この早暁は高い fact7: もしも「とある物はすりゃ良いがしかし嬲るということはない」ということは誤っているとするとそれは嬲る fact8: もし仮に何らかの物は恐れれば「短いかもしくは目的無しないかあるいは両方ともである」ということは間違っている fact9: もしも何らかの物は高いならば「それは九年前であるかもしくは赤くないかまたは両方である」ということは間違いである fact10: 高い物は九年前でない fact11: この早暁は赤い fact12: この施錠は嬲る fact13: もしも「この早暁は赤いかそれは高いということはないかまたは両方ともだ」ということは成り立つということはないとすれば九年前でない
fact9 -> int1: もしその新様式は高いとしたら「それは九年前であるかあるいはそれは赤いということはない」ということは間違いだ; fact4 & fact6 -> int2: その新様式は高い; int1 & int2 -> int3: 「その新様式は九年前であるかあるいは赤くないかまたは両方ともである」ということは嘘である; fact1 -> int4: もし「「その新様式は九年前であるかもしくは赤くない」ということは嘘である」ということは嘘でないとすれば嬲るということはない; int3 & int4 -> hypothesis;
その新様式は嬲る
fact15 -> int5: もし「「その新様式はすりゃ良いがしかしそれは嬲らない」ということは真実である」ということは成り立たないなら嬲る; fact14 -> int6: その新様式は高くないとしたら「すりゃ良いし嬲らない」ということは間違いである;
$facts$ = fact1: もしも「「なんらかの物は九年前であるかあるいはそれは赤くない」ということは成り立つ」ということは事実と異なるなら嬲るということはない fact2: もしその新様式は高いとしたら「それは九年前でない」ということは成り立つ fact3: 「この花作りは赤いかまたはそれは七八人でない」ということは正しくない fact4: 「この早暁は高い」ということは成り立つならばあの新様式は高い fact5: もしもある物は高くないとすれば「「すりゃ良いけれど嬲らない」ということは成り立つ」ということは間違っている fact6: この早暁は高い fact7: もしも「とある物はすりゃ良いがしかし嬲るということはない」ということは誤っているとするとそれは嬲る fact8: もし仮に何らかの物は恐れれば「短いかもしくは目的無しないかあるいは両方ともである」ということは間違っている fact9: もしも何らかの物は高いならば「それは九年前であるかもしくは赤くないかまたは両方である」ということは間違いである fact10: 高い物は九年前でない fact11: この早暁は赤い fact12: この施錠は嬲る fact13: もしも「この早暁は赤いかそれは高いということはないかまたは両方ともだ」ということは成り立つということはないとすれば九年前でない ; $hypothesis$ = 「その新様式は嬲らない」ということは成り立つ ; $proof$ = 
fact9 -> int1: もしその新様式は高いとしたら「それは九年前であるかあるいはそれは赤いということはない」ということは間違いだ; fact4 & fact6 -> int2: その新様式は高い; int1 & int2 -> int3: 「その新様式は九年前であるかあるいは赤くないかまたは両方ともである」ということは嘘である; fact1 -> int4: もし「「その新様式は九年前であるかもしくは赤くない」ということは嘘である」ということは嘘でないとすれば嬲るということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしも「「なんらかの物は九年前であるかあるいはそれは赤くない」ということは成り立つ」ということは事実と異なるなら嬲るということはない
事実2: もしその新様式は高いとしたら「それは九年前でない」ということは成り立つ
事実3: 「この花作りは赤いかまたはそれは七八人でない」ということは正しくない
事実4: 「この早暁は高い」ということは成り立つならばあの新様式は高い
事実5: もしもある物は高くないとすれば「「すりゃ良いけれど嬲らない」ということは成り立つ」ということは間違っている
事実6: この早暁は高い
事実7: もしも「とある物はすりゃ良いがしかし嬲るということはない」ということは誤っているとするとそれは嬲る
事実8: もし仮に何らかの物は恐れれば「短いかもしくは目的無しないかあるいは両方ともである」ということは間違っている
事実9: もしも何らかの物は高いならば「それは九年前であるかもしくは赤くないかまたは両方である」ということは間違いである
事実10: 高い物は九年前でない
事実11: この早暁は赤い
事実12: この施錠は嬲る
事実13: もしも「この早暁は赤いかそれは高いということはないかまたは両方ともだ」ということは成り立つということはないとすれば九年前でない

仮説: 「その新様式は嬲らない」ということは成り立つ
1. 事実9から、推論1: "もしその新様式は高いとしたら「それは九年前であるかあるいはそれは赤いということはない」ということは間違いだ"が導かれる
2. 事実4と事実6から、推論2: "その新様式は高い"が導かれる
3. 推論1と推論2から、推論3: "「その新様式は九年前であるかあるいは赤くないかまたは両方ともである」ということは嘘である"が導かれる
4. 事実1から、推論4: "もし「「その新様式は九年前であるかもしくは赤くない」ということは嘘である」ということは嘘でないとすれば嬲るということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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