The bald eagle is young. The cat is red. The dog chases the bald eagle. The squirrel eats the bald eagle. If someone is rough then they eat the dog. Red people are rough. If the cat chases the squirrel then the squirrel chases the dog. If the bald eagle eats the squirrel and the bald eagle eats the dog then the dog is rough. If someone likes the bald eagle and the bald eagle is rough then the bald eagle is red. If someone eats the dog then they like the bald eagle.
The cat does not eat the dog.
@0: The bald eagle is young.[(triple1)] The cat is red.[(triple2)] The dog chases the bald eagle.[(triple3)] The squirrel eats the bald eagle.[(triple4)] @1: The cat is rough.[(((triple2) -> rule2))] @2: The cat eats the dog.[(((((triple2) -> rule2)) -> rule1))] @3: The cat likes the bald eagle.[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]