The dog sees the rabbit. The lion is nice. The rabbit is kind. The squirrel is rough. If someone is rough then they are green. If someone is green and they like the lion then the lion sees the dog. If someone is rough and they see the lion then the lion is kind. If someone sees the lion then they like the rabbit. If someone is rough and kind then they see the lion. If someone likes the lion and the lion sees the dog then the lion likes the dog.
The squirrel does not see the lion.
@0: The dog sees the rabbit.[(triple1)] The lion is nice.[(triple2)] The rabbit is kind.[(triple3)] The squirrel is rough.[(triple4)] @1: The squirrel is green.[(((triple4) -> rule1))]