The bald eagle chases the cat. The bear chases the lion. The bear does not eat the bald eagle. The cat is blue. The cat is cold. The lion eats the cat. The lion does not like the bear. If someone eats the cat then they eat the lion. If someone chases the cat and the cat is cold then they do not like the cat. If someone eats the lion then the lion chases the cat. If someone chases the bear then the bear eats the lion. If someone is cold and they like the cat then they like the lion. If someone is nice then they like the bald eagle.
The lion does not eat the lion.
@0: The bald eagle chases the cat.[(triple1)] The bear chases the lion.[(triple2)] The bear does not eat the bald eagle.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The lion does not like the bear.[(triple7)] The lion eats the cat.[(triple6)] @1: The bald eagle does not like the cat.[(((triple1 triple5) -> rule2))] The lion eats the lion.[(((triple6) -> rule1))] @2: The lion chases the cat.[(((((triple6) -> rule1)) -> rule3))] @3: The lion does not like the cat.[(((((((triple6) -> rule1)) -> rule3) triple5) -> rule2))]