The cat chases the tiger. The cat is green. The cat is red. The cat likes the rabbit. The cat likes the tiger. The rabbit chases the cat. The rabbit visits the cat. The tiger is kind. The tiger likes the cat. The tiger visits the cat. If someone chases the cat and they are green then they chase the tiger. If someone visits the cat and they like the rabbit then the rabbit is round. If someone likes the cat then the cat is green. If someone likes the tiger then they are green. If someone visits the cat and they visit the rabbit then they are kind. If someone visits the cat then the cat chases the rabbit.
The tiger does not chase the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is green.[(triple2 OR ((triple5) -> rule4) OR ((triple9) -> rule3))] The cat is red.[(triple3)] The cat likes the rabbit.[(triple4)] The cat likes the tiger.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit visits the cat.[(triple7)] The tiger is kind.[(triple8)] The tiger likes the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The cat chases the rabbit.[(((triple10) -> rule6) OR ((triple7) -> rule6))]