このまよまちゃLv.66は算定する
fact1: すべてのモンスターは男らしい fact2: もし何らかのモンスターが御話し出来ないなら算定するし冷め易い fact3: もしあのぷにょぷにょLv.59が滑り易くて強しとするとこのまよまちゃLv.66は強しない fact4: 全てのモンスターは算定する fact5: もしもあるモンスターが強しないとしたら御話し出来るしそれは女々しくない fact6: 全てのモンスターは所有出来る
fact4 -> int1: 全てのモンスターは算定する; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
あのぴいぴちゅLv.25は算定する
fact7 -> int2: もしあのぴいぴちゅLv.25が御話し出来ないとしたらあのぴいぴちゅLv.25は算定するし冷め易い; fact8 -> int3: 「仮にこのまよまちゃLv.66が強しないならばこのまよまちゃLv.66は御話し出来るけれど女々しくない」ということは事実だ;
$facts$ = fact1: すべてのモンスターは男らしい fact2: もし何らかのモンスターが御話し出来ないなら算定するし冷め易い fact3: もしあのぷにょぷにょLv.59が滑り易くて強しとするとこのまよまちゃLv.66は強しない fact4: 全てのモンスターは算定する fact5: もしもあるモンスターが強しないとしたら御話し出来るしそれは女々しくない fact6: 全てのモンスターは所有出来る ; $hypothesis$ = このまよまちゃLv.66は算定する ; $proof$ = 
fact4 -> int1: 全てのモンスターは算定する; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__