The dog is green. The lion sees the dog. The squirrel is not kind. If someone likes the lion then they like the dog. If the squirrel visits the dog then the squirrel sees the lion. If the squirrel visits the lion and the lion is big then the squirrel is kind. If the lion sees the squirrel then the lion likes the squirrel. If someone sees the squirrel then they do not like the lion. If someone is green then they like the lion.
The dog sees the lion.
@0: The dog is green.[(triple1)] The lion sees the dog.[(triple2)] The squirrel is not kind.[(triple3)] @1: The dog likes the lion.[(((triple1) -> rule6))] @2: The dog likes the dog.[(((((triple1) -> rule6)) -> rule1))]