The lion eats the squirrel. The squirrel likes the tiger. The tiger sees the lion. If something likes the tiger and the tiger eats the lion then it eats the squirrel. If something sees the squirrel then the squirrel sees the tiger. If something is blue then it sees the squirrel. If something likes the squirrel then the squirrel is nice. If something sees the lion then the lion is blue. If something sees the tiger and the tiger sees the squirrel then it does not eat the lion.
The lion is not round.
@0: The lion eats the squirrel.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger sees the lion.[(triple3)] @1: The lion is blue.[(((triple3) -> rule5))] @2: The lion sees the squirrel.[(((((triple3) -> rule5)) -> rule3))] @3: The squirrel sees the tiger.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))]