The bald eagle chases the cat. The bald eagle chases the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is red. The cat is cold. The cat is red. The cat likes the cow. The cat likes the mouse. The cow chases the cat. The cow eats the bald eagle. The cow is blue. The cow is kind. The mouse eats the bald eagle. The mouse likes the cat. If something eats the mouse and the mouse eats the cat then the cat is blue. If the mouse eats the cow then the cow is blue. If something eats the mouse and it is cold then it is big. If something is kind then it likes the cat. If the cow eats the cat and the cow eats the bald eagle then the cow likes the cat. If the cow chases the cat and the cow likes the cat then the cat chases the cow. All cold things are blue. If something chases the cow then the cow is big.
The cat does not eat the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is red.[(triple5)] The cat is cold.[(triple6)] The cat is red.[(triple7)] The cat likes the cow.[(triple8)] The cat likes the mouse.[(triple9)] The cow chases the cat.[(triple10)] The cow eats the bald eagle.[(triple11)] The cow is blue.[(triple12)] The cow is kind.[(triple13)] The mouse eats the bald eagle.[(triple14)] The mouse likes the cat.[(triple15)] @1: The cat is blue.[(((triple6) -> rule7))] The cow likes the cat.[(((triple13) -> rule4))] @2: The cat chases the cow.[(((triple10 ((triple13) -> rule4)) -> rule6))] @3: The cow is big.[(((((triple10 ((triple13) -> rule4)) -> rule6)) -> rule8))]