「県魚でなくてかつ付き易いとするとおっかなくない」物はある
fact1: もしも「この色相環は県魚だということはないけれど付き易い」ということは本当だとすれば「それはおっかないということはない」ということは真実である fact2: 仮にこの色相環が県魚であるしそれが付き易いとするとそれはおっかなくない fact3: 「もし仮に県魚であるし付き易いなら「おっかないということはない」ということは事実な」ものはある fact4: もしもあのどん詰まりが発生し易いししかもそれがやばいならそれは表現し難くない fact5: 「もしも厳くないしそれに抽選会だとすれば権能等だということはない」ものはある fact6: いじましくなくて関係深い物は遭わさない fact7: 「もし仮に県魚でないがしかし付き易いとすればおっかない」ものはある fact8: この色相環が出展しないけれど引き回すとすれば付き易くない fact9: 「もし仮に踊り跳ねないしさらに若いなら「母親らしくない」ということは確かである」ものはある fact10: もしもこの色相環は県魚でないけど付き易いならそれはおっかない
fact1 -> hypothesis;
「もしいじましくないが関係深いなら遭わさない」ものはある
fact11 -> int1: 仮にあの標準ケースがいじましくない一方でそれは関係深いなら「遭わさない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: もしも「この色相環は県魚だということはないけれど付き易い」ということは本当だとすれば「それはおっかないということはない」ということは真実である fact2: 仮にこの色相環が県魚であるしそれが付き易いとするとそれはおっかなくない fact3: 「もし仮に県魚であるし付き易いなら「おっかないということはない」ということは事実な」ものはある fact4: もしもあのどん詰まりが発生し易いししかもそれがやばいならそれは表現し難くない fact5: 「もしも厳くないしそれに抽選会だとすれば権能等だということはない」ものはある fact6: いじましくなくて関係深い物は遭わさない fact7: 「もし仮に県魚でないがしかし付き易いとすればおっかない」ものはある fact8: この色相環が出展しないけれど引き回すとすれば付き易くない fact9: 「もし仮に踊り跳ねないしさらに若いなら「母親らしくない」ということは確かである」ものはある fact10: もしもこの色相環は県魚でないけど付き易いならそれはおっかない ; $hypothesis$ = 「県魚でなくてかつ付き易いとするとおっかなくない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしも「この色相環は県魚だということはないけれど付き易い」ということは本当だとすれば「それはおっかないということはない」ということは真実である
事実2: 仮にこの色相環が県魚であるしそれが付き易いとするとそれはおっかなくない
事実3: 「もし仮に県魚であるし付き易いなら「おっかないということはない」ということは事実な」ものはある
事実4: もしもあのどん詰まりが発生し易いししかもそれがやばいならそれは表現し難くない
事実5: 「もしも厳くないしそれに抽選会だとすれば権能等だということはない」ものはある
事実6: いじましくなくて関係深い物は遭わさない
事実7: 「もし仮に県魚でないがしかし付き易いとすればおっかない」ものはある
事実8: この色相環が出展しないけれど引き回すとすれば付き易くない
事実9: 「もし仮に踊り跳ねないしさらに若いなら「母親らしくない」ということは確かである」ものはある
事実10: もしもこの色相環は県魚でないけど付き易いならそれはおっかない

仮説: 「県魚でなくてかつ付き易いとするとおっかなくない」物はある
1. 事実1から、仮説が導かれる

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