その正常債権は凍り付かない
fact1: その東洋医学は擁護する fact2: その東洋医学は凍り付くがしかしそれはし難いということはない fact3: この受診命令は合葬する fact4: このブーイングは仰向けるがしかしそれは地下深いということはない fact5: 「その正常債権は御勤めするということはない」ということは成り立つ fact6: この直列・直列帰還増幅回路はし難くない fact7: あの艦長はし難い fact8: 「もしも「その東洋医学はし難い」ということは成り立つとするとその正常債権はし難くないけど凍り付く」ということは本当だ fact9: あの蝶番運動は矯正法だ fact10: その東洋医学は阿呆らしくない一方でそれは御近付く fact11: その東洋医学は矯正法でない fact12: その東洋医学は合葬しない fact13: 「その東洋医学は粳米でない」ということは本当である fact14: 仮に「その東洋医学は凍り付く」ということは正しいとしたらその正常債権は凍り付かないがしかし合葬する fact15: あの一つ以上は温もる一方で凍り付くということはない fact16: その東洋医学は見え辛くない fact17: その東洋医学は合葬しないが鑑定所見書である
fact2 -> int1: 「その東洋医学は凍り付く」ということは誤っていない; int1 & fact14 -> int2: その正常債権は凍り付かないけれどそれは合葬する; int2 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact14 -> int2: (¬{A}{b} & {C}{b}); int2 -> hypothesis;
$facts$ = fact1: その東洋医学は擁護する fact2: その東洋医学は凍り付くがしかしそれはし難いということはない fact3: この受診命令は合葬する fact4: このブーイングは仰向けるがしかしそれは地下深いということはない fact5: 「その正常債権は御勤めするということはない」ということは成り立つ fact6: この直列・直列帰還増幅回路はし難くない fact7: あの艦長はし難い fact8: 「もしも「その東洋医学はし難い」ということは成り立つとするとその正常債権はし難くないけど凍り付く」ということは本当だ fact9: あの蝶番運動は矯正法だ fact10: その東洋医学は阿呆らしくない一方でそれは御近付く fact11: その東洋医学は矯正法でない fact12: その東洋医学は合葬しない fact13: 「その東洋医学は粳米でない」ということは本当である fact14: 仮に「その東洋医学は凍り付く」ということは正しいとしたらその正常債権は凍り付かないがしかし合葬する fact15: あの一つ以上は温もる一方で凍り付くということはない fact16: その東洋医学は見え辛くない fact17: その東洋医学は合葬しないが鑑定所見書である ; $hypothesis$ = その正常債権は凍り付かない ; $proof$ = 
fact2 -> int1: 「その東洋医学は凍り付く」ということは誤っていない; int1 & fact14 -> int2: その正常債権は凍り付かないけれどそれは合葬する; int2 -> hypothesis; __PROVED__
事実1: その東洋医学は擁護する
事実2: その東洋医学は凍り付くがしかしそれはし難いということはない
事実3: この受診命令は合葬する
事実4: このブーイングは仰向けるがしかしそれは地下深いということはない
事実5: 「その正常債権は御勤めするということはない」ということは成り立つ
事実6: この直列・直列帰還増幅回路はし難くない
事実7: あの艦長はし難い
事実8: 「もしも「その東洋医学はし難い」ということは成り立つとするとその正常債権はし難くないけど凍り付く」ということは本当だ
事実9: あの蝶番運動は矯正法だ
事実10: その東洋医学は阿呆らしくない一方でそれは御近付く
事実11: その東洋医学は矯正法でない
事実12: その東洋医学は合葬しない
事実13: 「その東洋医学は粳米でない」ということは本当である
事実14: 仮に「その東洋医学は凍り付く」ということは正しいとしたらその正常債権は凍り付かないがしかし合葬する
事実15: あの一つ以上は温もる一方で凍り付くということはない
事実16: その東洋医学は見え辛くない
事実17: その東洋医学は合葬しないが鑑定所見書である

仮説: その正常債権は凍り付かない
1. 事実2から、推論1: "「その東洋医学は凍り付く」ということは誤っていない"が導かれる
2. 推論1と事実14から、推論2: "その正常債権は凍り付かないけれどそれは合葬する"が導かれる
3. 推論2から、仮説が導かれる

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