The cat does not chase the lion. The cat is not red. The cat visits the lion. The lion is young. The lion likes the cat. The lion does not visit the cat. The rabbit visits the lion. If someone is young and they like the cat then they chase the cat. If someone likes the rabbit and the rabbit is not red then they chase the cat. If someone visits the lion and the lion chases the rabbit then they like the cat. If someone likes the cat and the cat likes the rabbit then the rabbit is young. If someone likes the cat and the cat does not chase the lion then they chase the rabbit. If someone chases the rabbit and the rabbit visits the cat then the cat chases the rabbit.
The rabbit does not chase the rabbit.
@0: The cat does not chase the lion.[(triple1)] The cat is not red.[(triple2)] The cat visits the lion.[(triple3)] The lion does not visit the cat.[(triple6)] The lion is young.[(triple4)] The lion likes the cat.[(triple5)] The rabbit visits the lion.[(triple7)] @1: The lion chases the cat.[(((triple4 triple5) -> rule1))] The lion chases the rabbit.[(((triple5 triple1) -> rule5))] @2: The cat likes the cat.[(((triple3 ((triple5 triple1) -> rule5)) -> rule3))] The rabbit likes the cat.[(((triple7 ((triple5 triple1) -> rule5)) -> rule3))] @3: The cat chases the rabbit.[(((((triple3 ((triple5 triple1) -> rule5)) -> rule3) triple1) -> rule5))] The rabbit chases the rabbit.[(((((triple7 ((triple5 triple1) -> rule5)) -> rule3) triple1) -> rule5))]