The bald eagle likes the cow. The cat is nice. The cow likes the cat. The rabbit chases the cat. If someone chases the cat and they like the cat then the cat is green. If someone chases the rabbit and the rabbit is nice then they are red. If someone sees the cat and the cat is nice then they like the rabbit. If someone is red then they see the cat. If someone is green and red then they like the rabbit. If someone is nice then they chase the bald eagle. If someone sees the rabbit then the rabbit sees the bald eagle. If someone is green and they see the cow then the cow likes the bald eagle.
The cow likes the cat.
@0: The bald eagle likes the cow.[(triple1)] The cat is nice.[(triple2)] The cow likes the cat.[(triple3)] The rabbit chases the cat.[(triple4)] @1: The cat chases the bald eagle.[(((triple2) -> rule6))]