The dog chases the lion. The lion is kind. The squirrel sees the lion. The tiger likes the squirrel. If the lion sees the tiger then the tiger does not see the lion. If someone is cold then they do not like the squirrel. If someone sees the squirrel and they do not chase the squirrel then they do not see the dog. If someone sees the lion then the lion sees the tiger. If someone is kind and green then they see the lion. If someone likes the squirrel then the squirrel does not see the tiger. If someone likes the lion then the lion likes the squirrel. If the tiger does not see the lion then the lion likes the squirrel.
The squirrel does not see the tiger.
@0: The dog chases the lion.[(triple1)] The lion is kind.[(triple2)] The squirrel sees the lion.[(triple3)] The tiger likes the squirrel.[(triple4)] @1: The lion sees the tiger.[(((triple3) -> rule4))] The squirrel does not see the tiger.[(((triple4) -> rule6) OR ((((((((triple3) -> rule4)) -> rule1)) -> rule8)) -> rule6))] @2: The tiger does not see the lion.[(((((triple3) -> rule4)) -> rule1))] @3: The lion likes the squirrel.[(((((((triple3) -> rule4)) -> rule1)) -> rule8))]