The bald eagle eats the lion. The bald eagle eats the tiger. The bald eagle is green. The bald eagle needs the mouse. The bald eagle sees the mouse. The bald eagle sees the tiger. The lion eats the bald eagle. The lion eats the mouse. The lion is red. The lion needs the mouse. The mouse is red. The mouse is round. The mouse needs the lion. The mouse sees the bald eagle. The mouse sees the lion. The tiger needs the lion. If someone needs the mouse and they need the tiger then the mouse is green. If someone is nice and they need the mouse then they eat the mouse. If someone is green and they see the tiger then the tiger needs the bald eagle. If someone is round and they see the tiger then the tiger is red. If someone sees the bald eagle then the bald eagle is cold. If someone is green then they need the tiger.
The bald eagle is not cold.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bald eagle sees the tiger.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the mouse.[(triple8)] The lion is red.[(triple9)] The lion needs the mouse.[(triple10)] The mouse is red.[(triple11)] The mouse is round.[(triple12)] The mouse needs the lion.[(triple13)] The mouse sees the bald eagle.[(triple14)] The mouse sees the lion.[(triple15)] The tiger needs the lion.[(triple16)] @1: The bald eagle is cold.[(((triple14) -> rule5))] The bald eagle needs the tiger.[(((triple3) -> rule6))] The tiger needs the bald eagle.[(((triple3 triple6) -> rule3))] @2: The mouse is green.[(((triple4 ((triple3) -> rule6)) -> rule1))] @3: The mouse needs the tiger.[(((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule6))]