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