The bald eagle is blue. The bald eagle does not like the cat. The cat chases the lion. The cat eats the lion. The lion chases the bald eagle. The lion chases the squirrel. The lion is kind. The lion is young. The lion likes the bald eagle. The squirrel is young. If something is kind and it does not chase the bald eagle then it does not eat the lion. If something is kind then it is big. If something likes the lion and the lion chases the squirrel then the squirrel is not round. All big things are not round. If something eats the lion and it does not chase the bald eagle then it does not eat the bald eagle. If something is young and it chases the cat then it likes the bald eagle. If the squirrel likes the cat then the squirrel is young. If the cat does not chase the bald eagle then the bald eagle is blue.
The squirrel is blue.
@0: The bald eagle does not like the cat.[(triple2)] The bald eagle is blue.[(triple1)] The cat chases the lion.[(triple3)] The cat eats the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the squirrel.[(triple6)] The lion is kind.[(triple7)] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9)] The squirrel is young.[(triple10)] @1: The lion is big.[(((triple7) -> rule2))] @2: The lion is not round.[(((((triple7) -> rule2)) -> rule4))]