The bald eagle likes the cow. The cow is nice. The tiger likes the cow. If something likes the tiger then it is red. If something likes the cow then the cow likes the tiger. If something is red and it likes the tiger then it does not visit the tiger. If something is round then it visits the cow. If something is blue then it eats the bald eagle. If the cow likes the bald eagle and the cow does not like the tiger then the bald eagle does not visit the cow.
The cow does not like the tiger.
@0: The bald eagle likes the cow.[(triple1)] The cow is nice.[(triple2)] The tiger likes the cow.[(triple3)] @1: The cow likes the tiger.[(((triple1) -> rule2) OR ((triple3) -> rule2))] @2: The cow is red.[(((((triple1) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] @3: The cow does not visit the tiger.[(((((((triple1) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple1) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule1) ((triple3) -> rule2)) -> rule3))]