The bald eagle chases the cat. The bald eagle is not green. The cat eats the lion. The cat is not cold. The cat is not green. The cat is red. The dog does not chase the lion. The dog is red. The lion chases the dog. The lion is not red. If someone is blue then they like the lion. If someone likes the bald eagle then they like the cat. If someone chases the dog then they eat the dog. If someone eats the dog then they like the bald eagle. If someone chases the cat then they eat the bald eagle. If someone is green and rough then they chase the lion. If someone eats the lion then they do not eat the cat. If someone likes the cat and the cat is not green then the cat is blue.
The lion likes the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is not green.[(triple2)] The cat eats the lion.[(triple3)] The cat is not cold.[(triple4)] The cat is not green.[(triple5)] The cat is red.[(triple6)] The dog does not chase the lion.[(triple7)] The dog is red.[(triple8)] The lion chases the dog.[(triple9)] The lion is not red.[(triple10)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule5))] The cat does not eat the cat.[(((triple3) -> rule7))] The lion eats the dog.[(((triple9) -> rule3))] @2: The lion likes the bald eagle.[(((((triple9) -> rule3)) -> rule4))] @3: The lion likes the cat.[(((((((triple9) -> rule3)) -> rule4)) -> rule2))] @4: The cat is blue.[(((((((((triple9) -> rule3)) -> rule4)) -> rule2) triple5) -> rule8))] @5: The cat likes the lion.[(((((((((((triple9) -> rule3)) -> rule4)) -> rule2) triple5) -> rule8)) -> rule1))]