「小憎らしいとすれば「発問するけど知的認識でない」ということは成り立たない」ものはある
fact1: もし仮にあのＶＰが小憎らしいならば発問する一方で知的認識でない fact2: 仮にあのＶＰは小憎らしいなら「「それは発問するし知的認識でない」ということは事実である」ということは成り立たない fact3: 「もし仮に関係深いとすれば「容れるしそれに美しということはない」ということは成り立たない」ものはある fact4: 仮に何らかの物は知的認識なら「それは紛らわせるし成し難くない」ということは偽だ
fact2 -> hypothesis;
仮にその相撲取りは知的認識だとしたら「それは紛らわせるけど成し難くない」ということは誤りだ
fact5 -> hypothesis;
$facts$ = fact1: もし仮にあのＶＰが小憎らしいならば発問する一方で知的認識でない fact2: 仮にあのＶＰは小憎らしいなら「「それは発問するし知的認識でない」ということは事実である」ということは成り立たない fact3: 「もし仮に関係深いとすれば「容れるしそれに美しということはない」ということは成り立たない」ものはある fact4: 仮に何らかの物は知的認識なら「それは紛らわせるし成し難くない」ということは偽だ ; $hypothesis$ = 「小憎らしいとすれば「発問するけど知的認識でない」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にあのＶＰが小憎らしいならば発問する一方で知的認識でない
事実2: 仮にあのＶＰは小憎らしいなら「「それは発問するし知的認識でない」ということは事実である」ということは成り立たない
事実3: 「もし仮に関係深いとすれば「容れるしそれに美しということはない」ということは成り立たない」ものはある
事実4: 仮に何らかの物は知的認識なら「それは紛らわせるし成し難くない」ということは偽だ

仮説: 「小憎らしいとすれば「発問するけど知的認識でない」ということは成り立たない」ものはある
1. 事実2から、仮説が導かれる

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