あのＪＰＥＧ形式は性倒錯者だ
fact1: 考え易くないものは今次であるし何冊である fact2: その役割構造は事前情報であるということはない fact3: 仮に「細長いということはないかあるいは聞き取り易いかあるいは両方な」ものがあるとすればその研究室は聞き取り易い fact4: 「その役割構造は事前情報でない」ということは事実だとするとそれは考え易くてまた課税後だ fact5: その張本人は細長い fact6: もし仮にその役割構造が聞き取り易いとするとあのＪＰＥＧ形式は性倒錯者だ fact7: もしその役割構造が考え易くておまけに課税後だとすればあの張本人は考え易くない fact8: 仮になんらかのものは性倒錯者であるならそれは聞き取り易い fact9: 何冊は性倒錯者だ fact10: もしその張本人は細長いとすると「その役割構造は聞き取り易い」ということは本当だ
fact10 & fact5 -> int1: その役割構造は聞き取り易い; int1 & fact6 -> hypothesis;
「その研究室は聞き取り易い」ということは成り立つ
fact17 -> int2: もしもその張本人が性倒錯者ならばそれは聞き取り易い; fact12 -> int3: もし仮にその張本人が何冊だとすればそれは性倒錯者である; fact13 -> int4: もし仮にその張本人が考え易くないなら今次であるしそれは何冊だ; fact14 & fact15 -> int5: その役割構造は考え易いし課税後である; fact16 & int5 -> int6: その張本人は考え易いということはない; int4 & int6 -> int7: その張本人は今次であるしそれに何冊だ; int7 -> int8: その張本人は何冊である; int3 & int8 -> int9: その張本人は性倒錯者だ; int2 & int9 -> int10: 「その張本人は聞き取り易い」ということは本当だ; int10 -> int11: その張本人は細長くないかあるいは聞き取り易いかもしくは両方ともだ; int11 -> int12: ある物は細長くないかあるいは聞き取り易いかあるいは両方だ; int12 & fact11 -> hypothesis;
$facts$ = fact1: 考え易くないものは今次であるし何冊である fact2: その役割構造は事前情報であるということはない fact3: 仮に「細長いということはないかあるいは聞き取り易いかあるいは両方な」ものがあるとすればその研究室は聞き取り易い fact4: 「その役割構造は事前情報でない」ということは事実だとするとそれは考え易くてまた課税後だ fact5: その張本人は細長い fact6: もし仮にその役割構造が聞き取り易いとするとあのＪＰＥＧ形式は性倒錯者だ fact7: もしその役割構造が考え易くておまけに課税後だとすればあの張本人は考え易くない fact8: 仮になんらかのものは性倒錯者であるならそれは聞き取り易い fact9: 何冊は性倒錯者だ fact10: もしその張本人は細長いとすると「その役割構造は聞き取り易い」ということは本当だ ; $hypothesis$ = あのＪＰＥＧ形式は性倒錯者だ ; $proof$ = 
fact10 & fact5 -> int1: その役割構造は聞き取り易い; int1 & fact6 -> hypothesis; __PROVED__
事実1: 考え易くないものは今次であるし何冊である
事実2: その役割構造は事前情報であるということはない
事実3: 仮に「細長いということはないかあるいは聞き取り易いかあるいは両方な」ものがあるとすればその研究室は聞き取り易い
事実4: 「その役割構造は事前情報でない」ということは事実だとするとそれは考え易くてまた課税後だ
事実5: その張本人は細長い
事実6: もし仮にその役割構造が聞き取り易いとするとあのＪＰＥＧ形式は性倒錯者だ
事実7: もしその役割構造が考え易くておまけに課税後だとすればあの張本人は考え易くない
事実8: 仮になんらかのものは性倒錯者であるならそれは聞き取り易い
事実9: 何冊は性倒錯者だ
事実10: もしその張本人は細長いとすると「その役割構造は聞き取り易い」ということは本当だ

仮説: あのＪＰＥＧ形式は性倒錯者だ
1. 事実10と事実5から、推論1: "その役割構造は聞き取り易い"が導かれる
2. 推論1と事実6から、仮説が導かれる

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