The bald eagle likes the rabbit. The bald eagle sees the rabbit. The cow is round. The cow is not young. The cow likes the lion. The cow visits the bald eagle. The lion likes the bald eagle. The lion sees the rabbit. The rabbit is young. The rabbit likes the bald eagle. The rabbit likes the cow. The rabbit likes the lion. If someone visits the cow then the cow visits the lion. If someone likes the cow and they are not young then the cow sees the lion. If someone likes the cow and they see the rabbit then the cow does not see the lion. If someone likes the lion then the lion does not see the cow. If someone visits the bald eagle and the bald eagle does not like the rabbit then the bald eagle visits the cow. If someone visits the bald eagle then the bald eagle is not cold. If someone visits the lion then the lion is round. If someone likes the rabbit then the rabbit visits the lion.
The lion sees the rabbit.
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The cow is not young.[(triple4)] The cow is round.[(triple3)] The cow likes the lion.[(triple5)] The cow visits the bald eagle.[(triple6)] The lion likes the bald eagle.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit likes the cow.[(triple11)] The rabbit likes the lion.[(triple12)] @1: The bald eagle is not cold.[(((triple6) -> rule6))] The lion does not see the cow.[(((triple12) -> rule4) OR ((triple5) -> rule4))] The rabbit visits the lion.[(((triple1) -> rule8))] @2: The lion is round.[(((((triple1) -> rule8)) -> rule7))]