The bald eagle is round. The bald eagle is not young. The bald eagle does not see the tiger. The mouse is cold. The mouse does not like the bald eagle. The mouse needs the tiger. The tiger is not cold. The tiger is young. The tiger needs the mouse. The tiger sees the bald eagle. If someone needs the mouse then they see the bald eagle. If someone needs the bald eagle and they like the mouse then they do not see the bald eagle. If someone sees the bald eagle and the bald eagle is cold then they need the mouse. If the bald eagle is round then the bald eagle is cold. If someone likes the mouse and they see the mouse then the mouse needs the bald eagle. If the mouse sees the bald eagle then the bald eagle needs the mouse. If the mouse is big and the mouse needs the bald eagle then the bald eagle sees the mouse. If someone needs the bald eagle and they see the bald eagle then the bald eagle does not see the tiger.
The bald eagle is red.
@0: The bald eagle does not see the tiger.[(triple3)] The bald eagle is not young.[(triple2)] The bald eagle is round.[(triple1)] The mouse does not like the bald eagle.[(triple5)] The mouse is cold.[(triple4)] The mouse needs the tiger.[(triple6)] The tiger is not cold.[(triple7)] The tiger is young.[(triple8)] The tiger needs the mouse.[(triple9 OR ((triple10 ((triple1) -> rule4)) -> rule3))] The tiger sees the bald eagle.[(triple10 OR ((triple9) -> rule1))] @1: The bald eagle is cold.[(((triple1) -> rule4))]