The cow eats the lion. The cow is big. The cow is cold. The cow is green. The cow is not nice. The cow is round. The cow likes the lion. The cow sees the lion. The lion eats the cow. The lion is big. The lion is not cold. The lion is green. The lion is round. The lion likes the cow. The lion does not see the cow. If someone is round then they like the cow.
The lion does not see the lion.
@0: The cow eats the lion.[(triple1)] The cow is big.[(triple2)] The cow is cold.[(triple3)] The cow is green.[(triple4)] The cow is not nice.[(triple5)] The cow is round.[(triple6)] The cow likes the lion.[(triple7)] The cow sees the lion.[(triple8)] The lion does not see the cow.[(triple15)] The lion eats the cow.[(triple9)] The lion is big.[(triple10)] The lion is green.[(triple12)] The lion is not cold.[(triple11)] The lion is round.[(triple13)] The lion likes the cow.[(triple14 OR ((triple13) -> rule1))] @1: The cow likes the cow.[(((triple6) -> rule1))]