The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle visits the cow. The cow is rough. The cow is young. The cow sees the bald eagle. The cow visits the bald eagle. If someone sees the cow and the cow likes the bald eagle then the bald eagle is blue. If someone visits the bald eagle and they see the cow then the bald eagle is blue. If someone is rough then they like the bald eagle. If someone likes the cow and they are blue then they do not visit the bald eagle. If someone visits the bald eagle then the bald eagle sees the cow. If the bald eagle sees the cow then the bald eagle is young. If someone likes the bald eagle then the bald eagle is big. If the cow visits the bald eagle then the cow is kind.
The cow is blue.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle sees the cow.[(triple2 OR ((triple7) -> rule5))] The bald eagle visits the cow.[(triple3)] The cow is rough.[(triple4)] The cow is young.[(triple5)] The cow sees the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The bald eagle is young.[(((triple2) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] The cow is kind.[(((triple7) -> rule8))] The cow likes the bald eagle.[(((triple4) -> rule3))] @2: The bald eagle is big.[(((((triple4) -> rule3)) -> rule7))] The bald eagle is blue.[(((triple2 ((triple4) -> rule3)) -> rule1) OR ((((triple7) -> rule5) ((triple4) -> rule3)) -> rule1))] @3: The bald eagle does not visit the bald eagle.[(((triple1 ((triple2 ((triple4) -> rule3)) -> rule1)) -> rule4) OR ((triple1 ((((triple7) -> rule5) ((triple4) -> rule3)) -> rule1)) -> rule4))]