The bald eagle is young. The bald eagle likes the cow. The cow eats the bald eagle. The cow is blue. The cow is rough. The cow likes the tiger. The cow visits the tiger. The tiger eats the cow. The tiger is blue. The tiger likes the bald eagle. If something is young and it likes the tiger then the tiger visits the bald eagle. If something visits the bald eagle then the bald eagle likes the tiger. If the bald eagle likes the tiger and the tiger eats the cow then the bald eagle likes the cow. If something is rough then it visits the bald eagle. If something likes the tiger then the tiger likes the cow. If the cow eats the tiger then the cow likes the bald eagle. If something is nice and red then it is young. If the bald eagle is nice and the bald eagle likes the cow then the cow is nice.
The cow is rough.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the cow.[(triple2 OR ((((((triple5) -> rule4)) -> rule2) triple8) -> rule3))] The cow eats the bald eagle.[(triple3)] The cow is blue.[(triple4)] The cow is rough.[(triple5)] The cow likes the tiger.[(triple6)] The cow visits the tiger.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the bald eagle.[(triple10)] @1: The cow visits the bald eagle.[(((triple5) -> rule4))] The tiger likes the cow.[(((triple6) -> rule5) OR ((((((triple5) -> rule4)) -> rule2)) -> rule5))] @2: The bald eagle likes the tiger.[(((((triple5) -> rule4)) -> rule2))] @3: The tiger visits the bald eagle.[(((triple1 ((((triple5) -> rule4)) -> rule2)) -> rule1))]