The bald eagle is big. The dog likes the bald eagle. The lion chases the bald eagle. The rabbit likes the lion. If something is kind and big then it chases the rabbit. If the dog is young then the dog likes the lion. If something is big then it is young. If something is kind and it chases the rabbit then the rabbit chases the lion. All young things are red. If something is young then it sees the rabbit. If something sees the rabbit and it chases the rabbit then it likes the rabbit. If something likes the rabbit and it sees the bald eagle then the rabbit sees the bald eagle.
The rabbit does not chase the rabbit.
@0: The bald eagle is big.[(triple1)] The dog likes the bald eagle.[(triple2)] The lion chases the bald eagle.[(triple3)] The rabbit likes the lion.[(triple4)] @1: The bald eagle is young.[(((triple1) -> rule3))] @2: The bald eagle is red.[(((((triple1) -> rule3)) -> rule5))] The bald eagle sees the rabbit.[(((((triple1) -> rule3)) -> rule6))]