The bald eagle is cold. The bald eagle is kind. The cat chases the bald eagle. The cat eats the bald eagle. The cat is red. The mouse does not chase the bald eagle. The mouse does not eat the bald eagle. The mouse does not eat the cat. The mouse is not kind. The mouse is round. The mouse sees the bald eagle. The mouse sees the cat. If someone sees the bald eagle and the bald eagle eats the cat then they chase the cat. If someone is cold then they eat the bald eagle. If someone eats the cat then the cat eats the bald eagle. If someone chases the bald eagle and they chase the cat then the cat sees the mouse. If someone chases the bald eagle and the bald eagle chases the cat then the bald eagle eats the cat. If someone sees the bald eagle and they eat the mouse then the mouse chases the cat. If someone is round and they eat the cat then the cat does not eat the mouse. If someone sees the bald eagle and the bald eagle does not chase the cat then the cat chases the mouse.
The cat does not chase the mouse.
@0: The bald eagle is cold.[(triple1)] The bald eagle is kind.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat is red.[(triple5)] The mouse does not chase the bald eagle.[(triple6)] The mouse does not eat the bald eagle.[(triple7)] The mouse does not eat the cat.[(triple8)] The mouse is not kind.[(triple9)] The mouse is round.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the cat.[(triple12)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule2))]