Logical Reasoning of Ritsu