The bald eagle is green. The bald eagle is red. The cow is nice. The cow likes the tiger. The cow needs the tiger. The mouse is nice. The mouse needs the bald eagle. The mouse sees the bald eagle. The tiger likes the bald eagle. The tiger needs the cow. The tiger needs the mouse. If someone is young then they need the tiger. If the tiger is young then the tiger is green. If someone needs the tiger then the tiger sees the bald eagle. If someone sees the tiger and the tiger likes the bald eagle then the bald eagle sees the tiger. If someone is green and they see the bald eagle then they are cold. If someone is green and they like the tiger then they see the bald eagle. If the tiger is cold then the tiger is young. If someone needs the tiger then they like the tiger. If someone needs the mouse then they are green.
The tiger does not see the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is red.[(triple2)] The cow is nice.[(triple3)] The cow likes the tiger.[(triple4 OR ((triple5) -> rule8))] The cow needs the tiger.[(triple5)] The mouse is nice.[(triple6)] The mouse needs the bald eagle.[(triple7)] The mouse sees the bald eagle.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger needs the cow.[(triple10)] The tiger needs the mouse.[(triple11)] @1: The tiger is green.[(((triple11) -> rule9))] The tiger sees the bald eagle.[(((triple5) -> rule3))] @2: The tiger is cold.[(((((triple11) -> rule9) ((triple5) -> rule3)) -> rule5))] @3: The tiger is young.[(((((((triple11) -> rule9) ((triple5) -> rule3)) -> rule5)) -> rule7))] @4: The tiger needs the tiger.[(((((((((triple11) -> rule9) ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule1))] @5: The tiger likes the tiger.[(((((((((((triple11) -> rule9) ((triple5) -> rule3)) -> rule5)) -> rule7)) -> rule1)) -> rule8))]