The cat sees the dog. The cow likes the lion. The dog is nice. The lion is red. If someone likes the cow and the cow is not kind then they are nice. If the dog visits the cow then the cow sees the cat. If the dog is red then the dog does not see the lion. Nice people are cold. If someone is nice then they see the lion. If someone likes the dog then they visit the cat. If someone visits the cat then the cat is kind. If someone likes the cat and the cat is not nice then they do not like the dog.
The cat does not see the dog.
@0: The cat sees the dog.[(triple1)] The cow likes the lion.[(triple2)] The dog is nice.[(triple3)] The lion is red.[(triple4)] @1: The dog is cold.[(((triple3) -> rule4))] The dog sees the lion.[(((triple3) -> rule5))]