あのまよまくLv.24は惨めったらしくて心憎い
fact1: そのもなもわLv.94は小賢しいしそれに取り難い fact2: そのもなもわLv.94が小賢しいならばあのまよまくLv.24は心憎い fact3: あのまよまくLv.24は惨めったらしい fact4: あのまよまくLv.24はだだっ広い fact5: とあるモンスターは小賢しいということはないなら「それは惨めったらしくてさらにそれは心憎い」ということは嘘である fact6: そのぽくぽくLv.59は小賢しい
fact1 -> int1: そのもなもわLv.94は小賢しい; int1 & fact2 -> int2: あのまよまくLv.24は心憎い; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
「あのまよまくLv.24は惨めったらしいし心憎い」ということは成り立たない
fact7 -> int3: 「あのまよまくLv.24は小賢しくない」ということは確かであるとすれば「惨めったらしいししかも心憎い」ということは偽だ;
$facts$ = fact1: そのもなもわLv.94は小賢しいしそれに取り難い fact2: そのもなもわLv.94が小賢しいならばあのまよまくLv.24は心憎い fact3: あのまよまくLv.24は惨めったらしい fact4: あのまよまくLv.24はだだっ広い fact5: とあるモンスターは小賢しいということはないなら「それは惨めったらしくてさらにそれは心憎い」ということは嘘である fact6: そのぽくぽくLv.59は小賢しい ; $hypothesis$ = あのまよまくLv.24は惨めったらしくて心憎い ; $proof$ = 
fact1 -> int1: そのもなもわLv.94は小賢しい; int1 & fact2 -> int2: あのまよまくLv.24は心憎い; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__