The bald eagle is nice. The dog sees the bald eagle. The lion sees the rabbit. The rabbit sees the bald eagle. Rough people are kind. If someone is nice then they are rough. All big people are nice. If someone chases the bald eagle then they are big. If someone is kind then they do not like the rabbit. If someone likes the rabbit then they do not see the lion. If someone is blue then they chase the lion. If someone is kind and they chase the dog then the dog does not like the lion.
The bald eagle is not kind.
@0: The bald eagle is nice.[(triple1)] The dog sees the bald eagle.[(triple2)] The lion sees the rabbit.[(triple3)] The rabbit sees the bald eagle.[(triple4)] @1: The bald eagle is rough.[(((triple1) -> rule2))] @2: The bald eagle is kind.[(((((triple1) -> rule2)) -> rule1))] @3: The bald eagle does not like the rabbit.[(((((((triple1) -> rule2)) -> rule1)) -> rule5))]