The bald eagle eats the mouse. The bald eagle is cold. The cow eats the tiger. The cow is cold. The cow is green. The cow is red. The mouse eats the cow. The mouse is young. The mouse likes the tiger. The mouse visits the bald eagle. The mouse visits the cow. The mouse visits the tiger. The tiger eats the cow. The tiger visits the cow. The tiger visits the mouse. If someone eats the tiger then the tiger likes the cow. If someone eats the tiger and they eat the mouse then the tiger eats the mouse. If someone is red then they like the bald eagle. If someone likes the cow then they are red. If someone is young then they like the bald eagle. If someone eats the bald eagle and they like the bald eagle then the bald eagle likes the tiger. If someone likes the tiger then they like the bald eagle. If someone eats the mouse and the mouse eats the tiger then they eat the bald eagle.
The bald eagle is not cold.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is cold.[(triple2)] The cow eats the tiger.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is red.[(triple6)] The mouse eats the cow.[(triple7)] The mouse is young.[(triple8)] The mouse likes the tiger.[(triple9)] The mouse visits the bald eagle.[(triple10)] The mouse visits the cow.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger eats the cow.[(triple13)] The tiger visits the cow.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The cow likes the bald eagle.[(((triple6) -> rule3))] The mouse likes the bald eagle.[(((triple8) -> rule5) OR ((triple9) -> rule7))] The tiger likes the cow.[(((triple3) -> rule1))] @2: The tiger is red.[(((((triple3) -> rule1)) -> rule4))] @3: The tiger likes the bald eagle.[(((((((triple3) -> rule1)) -> rule4)) -> rule3))]