The dog is blue. The dog sees the tiger. The lion chases the tiger. The squirrel chases the lion. The squirrel likes the lion. The tiger likes the lion. The tiger sees the lion. If something sees the tiger then the tiger chases the lion. If something is round then it chases the dog. If something sees the lion and it chases the lion then the lion is round. If something likes the dog then the dog sees the lion. If the squirrel sees the lion and the lion is nice then the squirrel is green. If something sees the lion then the lion sees the squirrel. If something sees the squirrel then the squirrel chases the lion. If the tiger chases the dog then the tiger is green.
The tiger does not see the dog.
@0: The dog is blue.[(triple1)] The dog sees the tiger.[(triple2)] The lion chases the tiger.[(triple3)] The squirrel chases the lion.[(triple4 OR ((((triple7) -> rule6)) -> rule7))] The squirrel likes the lion.[(triple5)] The tiger likes the lion.[(triple6)] The tiger sees the lion.[(triple7)] @1: The lion sees the squirrel.[(((triple7) -> rule6))] The tiger chases the lion.[(((triple2) -> rule1))] @2: The lion is round.[(((triple7 ((triple2) -> rule1)) -> rule3))] @3: The lion chases the dog.[(((((triple7 ((triple2) -> rule1)) -> rule3)) -> rule2))]