その実施手順は熊鼠だ
fact1: もしも「屋根越しでない」ものはあるとすれば「この高分子核体は座礁するがしかし突き出ない」ということは本当でない fact2: なにがしかの物は屋根越しでない fact3: 「突き出る」物はあるとしたら「その補修は見付ける一方で突き出ない」ということは成り立たない fact4: 涼しい物は突き出ない fact5: もしも「なんらかの物は屋根越しであるかあるいは座礁するかまたは両方である」ということは事実でないならば熊鼠でない fact6: もしこの犯罪は涼しいとすれば「その実施手順は熊鼠でないけど座礁する」ということは成り立たない fact7: 仮に「「この高分子核体は座礁するけど突き出ない」ということは本当でない」ということは成り立つとすればその実施手順は熊鼠だ fact8: 何らかのものは座礁するということはないとすれば「それは屋根越しでないし突き出ない」ということは事実と異なる fact9: この犯罪は涼しい
fact2 & fact1 -> int1: 「この高分子核体は座礁するがしかし突き出ない」ということは成り立つということはない; int1 & fact7 -> hypothesis;
fact2 & fact1 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact7 -> hypothesis;
その実施手順は熊鼠でない
fact10 -> int2: 「その実施手順は屋根越しであるかまたは座礁するか両方ともだ」ということは偽ならそれは熊鼠でない; fact11 -> int3: 仮にこの高分子核体が涼しいとすれば突き出ない;
$facts$ = fact1: もしも「屋根越しでない」ものはあるとすれば「この高分子核体は座礁するがしかし突き出ない」ということは本当でない fact2: なにがしかの物は屋根越しでない fact3: 「突き出る」物はあるとしたら「その補修は見付ける一方で突き出ない」ということは成り立たない fact4: 涼しい物は突き出ない fact5: もしも「なんらかの物は屋根越しであるかあるいは座礁するかまたは両方である」ということは事実でないならば熊鼠でない fact6: もしこの犯罪は涼しいとすれば「その実施手順は熊鼠でないけど座礁する」ということは成り立たない fact7: 仮に「「この高分子核体は座礁するけど突き出ない」ということは本当でない」ということは成り立つとすればその実施手順は熊鼠だ fact8: 何らかのものは座礁するということはないとすれば「それは屋根越しでないし突き出ない」ということは事実と異なる fact9: この犯罪は涼しい ; $hypothesis$ = その実施手順は熊鼠だ ; $proof$ = 
fact2 & fact1 -> int1: 「この高分子核体は座礁するがしかし突き出ない」ということは成り立つということはない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしも「屋根越しでない」ものはあるとすれば「この高分子核体は座礁するがしかし突き出ない」ということは本当でない
事実2: なにがしかの物は屋根越しでない
事実3: 「突き出る」物はあるとしたら「その補修は見付ける一方で突き出ない」ということは成り立たない
事実4: 涼しい物は突き出ない
事実5: もしも「なんらかの物は屋根越しであるかあるいは座礁するかまたは両方である」ということは事実でないならば熊鼠でない
事実6: もしこの犯罪は涼しいとすれば「その実施手順は熊鼠でないけど座礁する」ということは成り立たない
事実7: 仮に「「この高分子核体は座礁するけど突き出ない」ということは本当でない」ということは成り立つとすればその実施手順は熊鼠だ
事実8: 何らかのものは座礁するということはないとすれば「それは屋根越しでないし突き出ない」ということは事実と異なる
事実9: この犯罪は涼しい

仮説: その実施手順は熊鼠だ
1. 事実2と事実1から、推論1: "「この高分子核体は座礁するがしかし突き出ない」ということは成り立つということはない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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