The bald eagle does not need the tiger. The cat likes the bald eagle. The squirrel likes the cat. The tiger needs the bald eagle. If someone likes the bald eagle then they like the squirrel. If someone chases the squirrel and they need the bald eagle then the bald eagle is red. If someone likes the cat then they are kind. All red people are kind. If the bald eagle is big and the bald eagle is red then the bald eagle chases the cat. If someone likes the squirrel then the squirrel is blue. If someone likes the squirrel and the squirrel is blue then the squirrel does not chase the cat. If someone needs the tiger and the tiger likes the cat then the tiger does not chase the bald eagle.
The bald eagle does not chase the cat.
@0: The bald eagle does not need the tiger.[(triple1)] The cat likes the bald eagle.[(triple2)] The squirrel likes the cat.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The cat likes the squirrel.[(((triple2) -> rule1))] The squirrel is kind.[(((triple3) -> rule3))] @2: The squirrel is blue.[(((((triple2) -> rule1)) -> rule6))] @3: The squirrel does not chase the cat.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule7))]