The cat is rough. The cat likes the tiger. The lion chases the tiger. The lion is kind. The lion likes the cat. The lion visits the tiger. The tiger chases the cat. If something likes the tiger then it visits the lion. If something is blue and big then it chases the lion. If something visits the lion then it likes the lion.
The lion likes the cat.
@0: The cat is rough.[(triple1)] The cat likes the tiger.[(triple2)] The lion chases the tiger.[(triple3)] The lion is kind.[(triple4)] The lion likes the cat.[(triple5)] The lion visits the tiger.[(triple6)] The tiger chases the cat.[(triple7)] @1: The cat visits the lion.[(((triple2) -> rule1))] @2: The cat likes the lion.[(((((triple2) -> rule1)) -> rule3))]