The bald eagle chases the cat. The bear eats the bald eagle. The cat chases the bear. The rabbit is green. If someone chases the bald eagle and the bald eagle is rough then the bald eagle does not chase the rabbit. If the bald eagle eats the cat then the bald eagle likes the cat. If someone eats the rabbit and the rabbit is rough then the rabbit eats the bald eagle. If someone chases the cat then the cat chases the rabbit. If the cat is rough and the cat is red then the cat eats the bald eagle. If someone chases the rabbit then the rabbit does not like the bald eagle.
The cat does not chase the rabbit.
@0: The bald eagle chases the cat.[(triple1)] The bear eats the bald eagle.[(triple2)] The cat chases the bear.[(triple3)] The rabbit is green.[(triple4)] @1: The cat chases the rabbit.[(((triple1) -> rule4))] @2: The rabbit does not like the bald eagle.[(((((triple1) -> rule4)) -> rule6))]