The cow does not chase the lion. The cow eats the lion. The cow is cold. The cow is red. The cow is rough. The cow is round. The cow is not young. The cow likes the lion. The lion chases the cow. The lion eats the cow. The lion is not cold. The lion is not red. The lion is round. The lion is not young. The lion likes the cow. If the lion chases the cow then the lion is not rough. If someone is young then they are rough. If the cow is young and the cow is not cold then the cow is red.
The cow does not like the cow.
@0: The cow does not chase the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is cold.[(triple3)] The cow is not young.[(triple7)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow is round.[(triple6)] The cow likes the lion.[(triple8)] The lion chases the cow.[(triple9)] The lion eats the cow.[(triple10)] The lion is not cold.[(triple11)] The lion is not red.[(triple12)] The lion is not young.[(triple14)] The lion is round.[(triple13)] The lion likes the cow.[(triple15)] @1: The lion is not rough.[(((triple9) -> rule1))]