The cat is green. The cat likes the tiger. The lion is red. The lion likes the rabbit. The lion sees the cat. The lion sees the rabbit. The lion sees the tiger. The rabbit is rough. The tiger is blue. The tiger likes the rabbit. The tiger visits the cat. The tiger visits the lion. If someone likes the tiger then they are blue. If the cat is rough then the cat visits the tiger. If someone likes the lion and the lion sees the cat then the cat is red. If someone is blue and they see the tiger then they visit the lion. If someone is green and they visit the cat then they visit the rabbit. If someone likes the tiger and the tiger visits the cat then the cat visits the rabbit. If someone sees the cat and the cat is nice then they see the tiger. If someone is blue then they visit the lion.
The tiger likes the lion.
@0: The cat is green.[(triple1)] The cat likes the tiger.[(triple2)] The lion is red.[(triple3)] The lion likes the rabbit.[(triple4)] The lion sees the cat.[(triple5)] The lion sees the rabbit.[(triple6)] The lion sees the tiger.[(triple7)] The rabbit is rough.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the lion.[(triple12 OR ((triple9) -> rule8))] @1: The cat is blue.[(((triple2) -> rule1))] The cat visits the rabbit.[(((triple2 triple11) -> rule6))] @2: The cat visits the lion.[(((((triple2) -> rule1)) -> rule8))]