The bald eagle is blue. The bald eagle needs the cat. The cat chases the lion. The cat eats the dog. The cat needs the bald eagle. The dog is green. The lion chases the cat. If someone eats the cat then the cat is round. If someone eats the lion then the lion eats the dog. If someone is green then they eat the lion.
The lion is red.
@0: The bald eagle is blue.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat chases the lion.[(triple3)] The cat eats the dog.[(triple4)] The cat needs the bald eagle.[(triple5)] The dog is green.[(triple6)] The lion chases the cat.[(triple7)] @1: The dog eats the lion.[(((triple6) -> rule3))] @2: The lion eats the dog.[(((((triple6) -> rule3)) -> rule2))]