The cat chases the cow. The cat chases the lion. The cat is not cold. The cat sees the lion. The cat visits the lion. The cow chases the cat. The cow is cold. The cow is red. The cow does not see the cat. The cow visits the lion. The lion chases the cat. The lion is young. If something sees the lion and it is not cold then the lion is not red. If something visits the cat then it sees the cat.
The cat does not see the cat.
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat is not cold.[(triple3)] The cat sees the lion.[(triple4)] The cat visits the lion.[(triple5)] The cow chases the cat.[(triple6)] The cow does not see the cat.[(triple9)] The cow is cold.[(triple7)] The cow is red.[(triple8)] The cow visits the lion.[(triple10)] The lion chases the cat.[(triple11)] The lion is young.[(triple12)] @1: The lion is not red.[(((triple4 triple3) -> rule1))]