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