The bald eagle is rough. The cat does not eat the bald eagle. The cat is cold. The cat is red. The cat likes the mouse. The mouse chases the rabbit. The mouse eats the cat. The mouse does not like the rabbit. The rabbit is cold. The rabbit is kind. If something likes the rabbit and it chases the cat then the rabbit chases the bald eagle. If something chases the rabbit then the rabbit chases the bald eagle. If something is big then it chases the bald eagle. If something likes the bald eagle and the bald eagle does not like the rabbit then the bald eagle does not chase the rabbit. All red things are big. If something chases the mouse and the mouse eats the bald eagle then the mouse eats the cat.
The cat likes the mouse.
@0: The bald eagle is rough.[(triple1)] The cat does not eat the bald eagle.[(triple2)] The cat is cold.[(triple3)] The cat is red.[(triple4)] The cat likes the mouse.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse does not like the rabbit.[(triple8)] The mouse eats the cat.[(triple7)] The rabbit is cold.[(triple9)] The rabbit is kind.[(triple10)] @1: The cat is big.[(((triple4) -> rule5))] The rabbit chases the bald eagle.[(((triple6) -> rule2))] @2: The cat chases the bald eagle.[(((((triple4) -> rule5)) -> rule3))]