The cat is nice. The cat is red. The cat likes the lion. The cat sees the tiger. The cat visits the lion. The cat visits the tiger. The lion is red. The lion sees the tiger. The tiger likes the cat. The tiger sees the cat. The tiger sees the lion. The tiger visits the cat. If something sees the lion and it sees the tiger then the tiger sees the cat. If something sees the cat then the cat likes the lion. If the tiger likes the cat then the cat is red.
The tiger does not see the lion.
@0: The cat is nice.[(triple1)] The cat is red.[(triple2 OR ((triple9) -> rule3))] The cat likes the lion.[(triple3 OR ((triple10) -> rule2))] The cat sees the tiger.[(triple4)] The cat visits the lion.[(triple5)] The cat visits the tiger.[(triple6)] The lion is red.[(triple7)] The lion sees the tiger.[(triple8)] The tiger likes the cat.[(triple9)] The tiger sees the cat.[(triple10)] The tiger sees the lion.[(triple11)] The tiger visits the cat.[(triple12)]