The bald eagle is blue. The bald eagle visits the cow. The cow eats the bald eagle. The cow eats the squirrel. The cow is big. The cow is blue. The cow is red. The cow likes the bald eagle. The cow visits the bald eagle. The squirrel visits the bald eagle. If someone visits the cow and the cow is blue then the cow eats the squirrel.
The cow is young.
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow eats the squirrel.[(triple4 OR ((triple2 triple6) -> rule1))] The cow is big.[(triple5)] The cow is blue.[(triple6)] The cow is red.[(triple7)] The cow likes the bald eagle.[(triple8)] The cow visits the bald eagle.[(triple9)] The squirrel visits the bald eagle.[(triple10)]