The bald eagle is blue. The bald eagle is cold. The bald eagle needs the cat. The bald eagle does not see the cat. The cat is big. The cat is cold. The cat is not kind. The cat needs the mouse. The cat does not see the bald eagle. The mouse does not chase the cat. If someone sees the cat and they are kind then they are cold. If someone is blue and they see the bald eagle then the bald eagle is not kind. If someone needs the cat then they do not chase the bald eagle.
The mouse chases the cat.
@0: The bald eagle does not see the cat.[(triple4)] The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat does not see the bald eagle.[(triple9)] The cat is big.[(triple5)] The cat is cold.[(triple6)] The cat is not kind.[(triple7)] The cat needs the mouse.[(triple8)] The mouse does not chase the cat.[(triple10)] @1: The bald eagle does not chase the bald eagle.[(((triple3) -> rule3))]