The cat visits the dog. The cow chases the cat. The dog is cold. The rabbit visits the dog. If someone visits the rabbit then the rabbit chases the dog. If someone likes the dog then the dog is big. If someone likes the cow then they like the cat. If the dog chases the cat then the cat visits the cow. If someone visits the rabbit then the rabbit visits the cow. If someone chases the cow and they like the cow then the cow chases the dog. If someone is cold then they like the cow. If someone likes the rabbit then they like the cow.
The cat does not like the cow.
@0: The cat visits the dog.[(triple1)] The cow chases the cat.[(triple2)] The dog is cold.[(triple3)] The rabbit visits the dog.[(triple4)] @1: The dog likes the cow.[(((triple3) -> rule7))] @2: The dog likes the cat.[(((((triple3) -> rule7)) -> rule3))]