The bald eagle chases the mouse. The bald eagle chases the tiger. The bald eagle is round. The bald eagle likes the cat. The cat eats the mouse. The mouse chases the bald eagle. The mouse is round. The tiger eats the bald eagle. The tiger is blue. The tiger likes the mouse. If the tiger likes the mouse then the tiger is round. If someone likes the mouse then they like the cat. If someone likes the cat and they are round then they eat the cat. If someone is red and blue then they like the tiger. If the cat is cold then the cat likes the bald eagle. If someone is cold and they like the cat then the cat likes the mouse.
The mouse does not like the tiger.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the cat.[(triple4)] The cat eats the mouse.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is round.[(triple7)] The tiger eats the bald eagle.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The bald eagle eats the cat.[(((triple4 triple3) -> rule3))] The tiger is round.[(((triple10) -> rule1))] The tiger likes the cat.[(((triple10) -> rule2))] @2: The tiger eats the cat.[(((((triple10) -> rule2) ((triple10) -> rule1)) -> rule3))]