The cow is cold. The cow is young. The lion chases the cow. The lion is cold. The lion is kind. The lion is not nice. The lion is rough. The lion is young. The lion sees the cow. The lion visits the cow. If someone chases the lion then they see the cow. If someone is nice and they do not see the cow then the cow visits the lion. If someone visits the cow and the cow does not see the lion then the cow does not visit the lion. If someone chases the cow and the cow is rough then they are kind. If someone chases the cow then the cow is kind. If someone sees the lion and the lion is young then the lion does not chase the cow. If someone is cold and they do not visit the lion then the lion chases the cow. If the cow does not visit the lion then the cow is not cold.
The cow does not see the cow.
@0: The cow is cold.[(triple1)] The cow is young.[(triple2)] The lion chases the cow.[(triple3)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion is not nice.[(triple6)] The lion is rough.[(triple7)] The lion is young.[(triple8)] The lion sees the cow.[(triple9)] The lion visits the cow.[(triple10)] @1: The cow is kind.[(((triple3) -> rule5))]