仮にこの五王が体Ｋであるとしたらあの同前書は傷心であるがしかしごつかない
fact1: 「もしもこの五王が体Ｋだとしたらあの同前書は傷心である」ということは事実である fact2: もしもあの同前書が固くないとしたらこの五王は傷心で固い fact3: 「この五王は体Ｋでない」ということは事実だとすればあの同前書は固いけれど体Ｋでない fact4: もしもこの五王はごつかないとしたらあの同前書が傷心であるがごついということはない fact5: この五王は体Ｋであるならばそれは固い一方でごつかない fact6: 仮に「あの同前書は固い」ということは成り立つとするとこの五王はごついしかつ傷心だ fact7: もしこの五王がごついとすればあの同前書は傷心であるけれど固くない fact8: この五王は固い
void -> assump1: 以下のように仮定する。この五王は体Ｋだ; fact5 & assump1 -> int1: この五王は固い一方でごつかない; int1 -> int2: この五王はごつかない; int2 & fact4 -> int3: あの同前書は傷心であるけどごつかない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「もしもこの五王が体Ｋだとしたらあの同前書は傷心である」ということは事実である fact2: もしもあの同前書が固くないとしたらこの五王は傷心で固い fact3: 「この五王は体Ｋでない」ということは事実だとすればあの同前書は固いけれど体Ｋでない fact4: もしもこの五王はごつかないとしたらあの同前書が傷心であるがごついということはない fact5: この五王は体Ｋであるならばそれは固い一方でごつかない fact6: 仮に「あの同前書は固い」ということは成り立つとするとこの五王はごついしかつ傷心だ fact7: もしこの五王がごついとすればあの同前書は傷心であるけれど固くない fact8: この五王は固い ; $hypothesis$ = 仮にこの五王が体Ｋであるとしたらあの同前書は傷心であるがしかしごつかない ; $proof$ = 
void -> assump1: 以下のように仮定する。この五王は体Ｋだ; fact5 & assump1 -> int1: この五王は固い一方でごつかない; int1 -> int2: この五王はごつかない; int2 & fact4 -> int3: あの同前書は傷心であるけどごつかない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「もしもこの五王が体Ｋだとしたらあの同前書は傷心である」ということは事実である
事実2: もしもあの同前書が固くないとしたらこの五王は傷心で固い
事実3: 「この五王は体Ｋでない」ということは事実だとすればあの同前書は固いけれど体Ｋでない
事実4: もしもこの五王はごつかないとしたらあの同前書が傷心であるがごついということはない
事実5: この五王は体Ｋであるならばそれは固い一方でごつかない
事実6: 仮に「あの同前書は固い」ということは成り立つとするとこの五王はごついしかつ傷心だ
事実7: もしこの五王がごついとすればあの同前書は傷心であるけれど固くない
事実8: この五王は固い

仮説: 仮にこの五王が体Ｋであるとしたらあの同前書は傷心であるがしかしごつかない
1. 仮定1: 以下のように仮定する。この五王は体Ｋだ
2. 事実5と仮定1から、推論1: "この五王は固い一方でごつかない"が導かれる
3. 推論1から、推論2: "この五王はごつかない"が導かれる
4. 推論2と事実4から、推論3: "あの同前書は傷心であるけどごつかない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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