The cat chases the rabbit. The cat is nice. The cat is red. The lion chases the cat. The lion chases the rabbit. The lion needs the rabbit. The rabbit chases the lion. If someone is red and they like the cat then they like the rabbit. If someone likes the rabbit and they like the cat then they are kind. If someone chases the rabbit and the rabbit is red then the rabbit is kind. If someone likes the lion then they are nice. If someone likes the cat then they like the lion. If the rabbit needs the cat and the rabbit needs the lion then the rabbit is green. If someone is red and nice then they need the rabbit. If someone needs the rabbit and they chase the cat then the rabbit likes the lion.
The rabbit is nice.
@0: The cat chases the rabbit.[(triple1)] The cat is nice.[(triple2)] The cat is red.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the rabbit.[(triple5)] The lion needs the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] @1: The cat needs the rabbit.[(((triple3 triple2) -> rule7))] The rabbit likes the lion.[(((triple6 triple4) -> rule8))] @2: The rabbit is nice.[(((((triple6 triple4) -> rule8)) -> rule4))]