「長期在院患者であるとすれば「聞き易くなくてそれに利用し難いということはない」ということは成り立たない」物はある
fact1: 仮にとある物は生温いとすれば「手招きしないし生温かくない」ということは誤りだ fact2: このミノタウロスは長期在院患者だとしたら「聞き易いということはなくて更にそれは利用し難い」ということは嘘である fact3: 「もし「長期在院患者である」ということは確かなら「聞き易くないけれど利用し難い」ということは事実と異なる」物はある fact4: もしもこのミノタウロスは長期在院患者であるとすると「それは聞き易くなくて加えて利用し難くない」ということは成り立たない fact5: 「仮に「このミノタウロスは長期在院患者だ」ということは成り立つとすればあのミノタウロスは聞き易くない物でありまた利用し難くない」ということは間違いでない fact6: 「「長期在院患者だ」ということは事実ならば聞き易くないしそれに利用し難くない」物はある fact7: もし仮にこのミノタウロスは長期在院患者であるとすれば「聞き易いけれど利用し難くない」ということは成り立たない fact8: 「もし長期在院患者だとすると「聞き易いけど利用し難いということはない」ということは成り立たない」ものはある
fact4 -> hypothesis;
「もしも生温いならば「手招きしなくて生温かくない」ということは成り立たない」物はある
fact9 -> int1: もし仮にあの美術書は生温いなら「手招きしなくてその上生温かくない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 仮にとある物は生温いとすれば「手招きしないし生温かくない」ということは誤りだ fact2: このミノタウロスは長期在院患者だとしたら「聞き易いということはなくて更にそれは利用し難い」ということは嘘である fact3: 「もし「長期在院患者である」ということは確かなら「聞き易くないけれど利用し難い」ということは事実と異なる」物はある fact4: もしもこのミノタウロスは長期在院患者であるとすると「それは聞き易くなくて加えて利用し難くない」ということは成り立たない fact5: 「仮に「このミノタウロスは長期在院患者だ」ということは成り立つとすればあのミノタウロスは聞き易くない物でありまた利用し難くない」ということは間違いでない fact6: 「「長期在院患者だ」ということは事実ならば聞き易くないしそれに利用し難くない」物はある fact7: もし仮にこのミノタウロスは長期在院患者であるとすれば「聞き易いけれど利用し難くない」ということは成り立たない fact8: 「もし長期在院患者だとすると「聞き易いけど利用し難いということはない」ということは成り立たない」ものはある ; $hypothesis$ = 「長期在院患者であるとすれば「聞き易くなくてそれに利用し難いということはない」ということは成り立たない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 仮にとある物は生温いとすれば「手招きしないし生温かくない」ということは誤りだ
事実2: このミノタウロスは長期在院患者だとしたら「聞き易いということはなくて更にそれは利用し難い」ということは嘘である
事実3: 「もし「長期在院患者である」ということは確かなら「聞き易くないけれど利用し難い」ということは事実と異なる」物はある
事実4: もしもこのミノタウロスは長期在院患者であるとすると「それは聞き易くなくて加えて利用し難くない」ということは成り立たない
事実5: 「仮に「このミノタウロスは長期在院患者だ」ということは成り立つとすればあのミノタウロスは聞き易くない物でありまた利用し難くない」ということは間違いでない
事実6: 「「長期在院患者だ」ということは事実ならば聞き易くないしそれに利用し難くない」物はある
事実7: もし仮にこのミノタウロスは長期在院患者であるとすれば「聞き易いけれど利用し難くない」ということは成り立たない
事実8: 「もし長期在院患者だとすると「聞き易いけど利用し難いということはない」ということは成り立たない」ものはある

仮説: 「長期在院患者であるとすれば「聞き易くなくてそれに利用し難いということはない」ということは成り立たない」物はある
1. 事実4から、仮説が導かれる

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