The bald eagle is big. The bald eagle is red. The bald eagle is young. The bald eagle likes the rabbit. The bald eagle visits the cow. The cow likes the rabbit. The cow needs the bald eagle. The cow needs the rabbit. The cow visits the rabbit. The rabbit is young. The rabbit visits the bald eagle. The rabbit visits the cow. If someone likes the rabbit then they are big. If someone likes the bald eagle then the bald eagle likes the rabbit.
The cow visits the cow.
@0: The bald eagle is big.[(triple1 OR ((triple4) -> rule1))] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle visits the cow.[(triple5)] The cow likes the rabbit.[(triple6)] The cow needs the bald eagle.[(triple7)] The cow needs the rabbit.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit is young.[(triple10)] The rabbit visits the bald eagle.[(triple11)] The rabbit visits the cow.[(triple12)] @1: The cow is big.[(((triple6) -> rule1))]