その河越城は小躍りする
fact1: もしその糖尿病妊婦が痛いならその河越城は小躍りするということはない fact2: もしその河越城が若しならばこの事実審裁判官は小躍りしないけどそれは痛い fact3: 「この生産コストは東京地方裁判所である」ということは確かだ fact4: もし仮に「その河越城はテスト用でない」ということは本当だとすればそれは痛くない fact5: もし「とある物は対応し易いかもしくは百二十一条本文であるということはない」ということは成り立たないとすれば若し fact6: 「その河越城は東京地方裁判所であるしそれはテスト用だ」ということは成り立たない fact7: もし「その河越城は東京地方裁判所であるしさらにテスト用だ」ということは誤っているとすると痛くない fact8: もしその河越城が痛いということはないとすると小躍りする fact9: 若しものは痛い
fact7 & fact6 -> int1: その河越城は痛くない; int1 & fact8 -> hypothesis;
fact7 & fact6 -> int1: ¬{B}{a}; int1 & fact8 -> hypothesis;
その河越城は小躍りするということはない
fact12 -> int2: もしもその糖尿病妊婦は若しとすれば「それは痛い」ということは成り立つ; fact10 -> int3: もし「その糖尿病妊婦は対応し易いか百二十一条本文でないかもしくはどちらもである」ということは嘘ならば若し;
$facts$ = fact1: もしその糖尿病妊婦が痛いならその河越城は小躍りするということはない fact2: もしその河越城が若しならばこの事実審裁判官は小躍りしないけどそれは痛い fact3: 「この生産コストは東京地方裁判所である」ということは確かだ fact4: もし仮に「その河越城はテスト用でない」ということは本当だとすればそれは痛くない fact5: もし「とある物は対応し易いかもしくは百二十一条本文であるということはない」ということは成り立たないとすれば若し fact6: 「その河越城は東京地方裁判所であるしそれはテスト用だ」ということは成り立たない fact7: もし「その河越城は東京地方裁判所であるしさらにテスト用だ」ということは誤っているとすると痛くない fact8: もしその河越城が痛いということはないとすると小躍りする fact9: 若しものは痛い ; $hypothesis$ = その河越城は小躍りする ; $proof$ = 
fact7 & fact6 -> int1: その河越城は痛くない; int1 & fact8 -> hypothesis; __PROVED__
事実1: もしその糖尿病妊婦が痛いならその河越城は小躍りするということはない
事実2: もしその河越城が若しならばこの事実審裁判官は小躍りしないけどそれは痛い
事実3: 「この生産コストは東京地方裁判所である」ということは確かだ
事実4: もし仮に「その河越城はテスト用でない」ということは本当だとすればそれは痛くない
事実5: もし「とある物は対応し易いかもしくは百二十一条本文であるということはない」ということは成り立たないとすれば若し
事実6: 「その河越城は東京地方裁判所であるしそれはテスト用だ」ということは成り立たない
事実7: もし「その河越城は東京地方裁判所であるしさらにテスト用だ」ということは誤っているとすると痛くない
事実8: もしその河越城が痛いということはないとすると小躍りする
事実9: 若しものは痛い

仮説: その河越城は小躍りする
1. 事実7と事実6から、推論1: "その河越城は痛くない"が導かれる
2. 推論1と事実8から、仮説が導かれる

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