The bald eagle likes the cat. The cat is cold. The lion is kind. The squirrel eats the lion. If something is kind then it does not eat the squirrel. If something eats the bald eagle then it is round. If something likes the cat then the cat is not round. If something likes the bald eagle and it is cold then the bald eagle eats the squirrel. If something chases the squirrel then it is big. If something likes the bald eagle then it likes the squirrel.
The cat is round.
@0: The bald eagle likes the cat.[(triple1)] The cat is cold.[(triple2)] The lion is kind.[(triple3)] The squirrel eats the lion.[(triple4)] @1: The cat is not round.[(((triple1) -> rule3))] The lion does not eat the squirrel.[(((triple3) -> rule1))]