The bald eagle chases the cow. The bald eagle eats the cat. The bald eagle eats the cow. The cat eats the mouse. The cat is kind. The cat is round. The cat likes the mouse. The cow eats the bald eagle. The cow eats the cat. The cow eats the mouse. The cow is nice. The cow likes the bald eagle. The mouse chases the bald eagle. The mouse eats the cow. The mouse is blue. The mouse is kind. If someone is kind and they chase the bald eagle then they are cold. If someone likes the mouse then the mouse chases the cat. If someone likes the cow then they chase the cow. If someone is kind then they eat the bald eagle. If someone eats the mouse and they are nice then they eat the cat. If someone is cold then they like the cat.
The bald eagle chases the mouse.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the cow.[(triple3)] The cat eats the mouse.[(triple4)] The cat is kind.[(triple5)] The cat is round.[(triple6)] The cat likes the mouse.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9 OR ((triple10 triple11) -> rule5))] The cow eats the mouse.[(triple10)] The cow is nice.[(triple11)] The cow likes the bald eagle.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse eats the cow.[(triple14)] The mouse is blue.[(triple15)] The mouse is kind.[(triple16)] @1: The cat eats the bald eagle.[(((triple5) -> rule4))] The mouse chases the cat.[(((triple7) -> rule2))] The mouse eats the bald eagle.[(((triple16) -> rule4))] The mouse is cold.[(((triple16 triple13) -> rule1))] @2: The mouse likes the cat.[(((((triple16 triple13) -> rule1)) -> rule6))]