The bald eagle sees the cow. The bald eagle sees the tiger. The cow chases the tiger. The cow is round. The cow likes the mouse. The cow sees the tiger. The mouse chases the bald eagle. The mouse likes the tiger. The mouse sees the cow. The tiger chases the bald eagle. The tiger likes the cow. If something is kind then it chases the mouse. If something chases the cow then the cow chases the bald eagle. If something likes the tiger and the tiger is kind then the tiger chases the cow. If something chases the bald eagle then the bald eagle likes the cow. If something is rough then it is kind. If something chases the bald eagle then it is young. If something likes the tiger then the tiger is rough. If something likes the bald eagle and the bald eagle sees the cow then the bald eagle likes the mouse. If something is red and it sees the cow then it chases the cow.
The cow is not young.
@0: The bald eagle sees the cow.[(triple1)] The bald eagle sees the tiger.[(triple2)] The cow chases the tiger.[(triple3)] The cow is round.[(triple4)] The cow likes the mouse.[(triple5)] The cow sees the tiger.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse sees the cow.[(triple9)] The tiger chases the bald eagle.[(triple10)] The tiger likes the cow.[(triple11)] @1: The bald eagle likes the cow.[(((triple10) -> rule4) OR ((triple7) -> rule4) OR ((((((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3)) -> rule2)) -> rule4))] The mouse is young.[(((triple7) -> rule6))] The tiger is rough.[(((triple8) -> rule7))] The tiger is young.[(((triple10) -> rule6))] @2: The tiger is kind.[(((((triple8) -> rule7)) -> rule5))] @3: The tiger chases the cow.[(((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3))] The tiger chases the mouse.[(((((((triple8) -> rule7)) -> rule5)) -> rule1))] @4: The cow chases the bald eagle.[(((((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3)) -> rule2))] @5: The cow is young.[(((((((triple8 ((((triple8) -> rule7)) -> rule5)) -> rule3)) -> rule2)) -> rule6))]