The dog sees the tiger. The lion sees the dog. The squirrel sees the lion. The tiger is cold. If something sees the squirrel and it does not chase the dog then the squirrel is big. If something sees the tiger then the tiger chases the lion. If something eats the tiger and it eats the lion then it does not see the dog. If something eats the lion and it eats the tiger then the tiger chases the squirrel. If something is red then it eats the squirrel. If something sees the dog then the dog sees the tiger.
The squirrel sees the lion.
@0: The dog sees the tiger.[(triple1 OR ((triple2) -> rule6))] The lion sees the dog.[(triple2)] The squirrel sees the lion.[(triple3)] The tiger is cold.[(triple4)] @1: The tiger chases the lion.[(((triple1) -> rule2) OR ((((triple2) -> rule6)) -> rule2))]