The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle sees the lion. The cow is not cold. The cow is rough. The cow is round. The cow sees the bald eagle. The cow does not visit the bald eagle. The lion likes the bald eagle. The lion sees the cow. The lion does not visit the bald eagle. The lion visits the cow. If something sees the lion then the lion is kind. If something likes the cow and it sees the bald eagle then the bald eagle sees the lion. If something is green and it visits the bald eagle then it is cold.
The cow is not round.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the lion.[(triple3)] The cow does not visit the bald eagle.[(triple8)] The cow is not cold.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow sees the bald eagle.[(triple7)] The lion does not visit the bald eagle.[(triple11)] The lion likes the bald eagle.[(triple9)] The lion sees the cow.[(triple10)] The lion visits the cow.[(triple12)] @1: The lion is kind.[(((triple3) -> rule1))]