The bald eagle chases the cow. The bald eagle visits the rabbit. The cow is round. The cow visits the rabbit. The lion visits the cow. The rabbit chases the cow. The rabbit is young. The rabbit sees the cow. The rabbit sees the lion. The rabbit visits the bald eagle. If someone chases the lion then the lion visits the rabbit. If someone is round and cold then they see the cow. If someone sees the cow and they visit the lion then the cow chases the rabbit. If someone visits the rabbit then the rabbit chases the cow. If the lion visits the bald eagle then the lion sees the cow. If the cow is young and the cow sees the lion then the cow visits the lion. If the bald eagle visits the rabbit and the rabbit chases the cow then the cow is blue. If someone sees the rabbit then they chase the rabbit.
The rabbit visits the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The cow is round.[(triple3)] The cow visits the rabbit.[(triple4)] The lion visits the cow.[(triple5)] The rabbit chases the cow.[(triple6 OR ((triple2) -> rule4) OR ((triple4) -> rule4))] The rabbit is young.[(triple7)] The rabbit sees the cow.[(triple8)] The rabbit sees the lion.[(triple9)] The rabbit visits the bald eagle.[(triple10)] @1: The cow is blue.[(((triple2 triple6) -> rule7) OR ((triple2 ((triple2) -> rule4)) -> rule7) OR ((triple2 ((triple4) -> rule4)) -> rule7))]