The dog likes the tiger. The lion likes the dog. The squirrel is red. The tiger is kind. If someone likes the lion then they are round. If someone is green and they like the dog then they see the lion. If someone likes the dog then they are green.
The dog does not see the lion.
@0: The dog likes the tiger.[(triple1)] The lion likes the dog.[(triple2)] The squirrel is red.[(triple3)] The tiger is kind.[(triple4)] @1: The lion is green.[(((triple2) -> rule3))] @2: The lion sees the lion.[(((((triple2) -> rule3) triple2) -> rule2))]