The cat is nice. The lion visits the tiger. The squirrel likes the lion. The tiger sees the cat. If someone sees the squirrel then the squirrel sees the cat. If the squirrel sees the tiger and the tiger is not blue then the squirrel is not blue. If the cat is blue and the cat does not see the tiger then the cat likes the squirrel. If someone likes the lion then the lion is rough. If someone is rough and they like the tiger then they like the cat. If someone sees the lion and they see the cat then they like the lion. If the lion likes the squirrel then the lion sees the squirrel. If someone sees the cat then they see the squirrel.
The tiger likes the lion.
@0: The cat is nice.[(triple1)] The lion visits the tiger.[(triple2)] The squirrel likes the lion.[(triple3)] The tiger sees the cat.[(triple4)] @1: The lion is rough.[(((triple3) -> rule4))] The tiger sees the squirrel.[(((triple4) -> rule8))] @2: The squirrel sees the cat.[(((((triple4) -> rule8)) -> rule1))] @3: The squirrel sees the squirrel.[(((((((triple4) -> rule8)) -> rule1)) -> rule8))]