The cat eats the dog. The cow sees the cat. The dog eats the cat. The rabbit is cold. If someone eats the dog then the dog sees the cat. If someone visits the cow then the cow eats the dog.
The rabbit is not cold.
@0: The cat eats the dog.[(triple1)] The cow sees the cat.[(triple2)] The dog eats the cat.[(triple3)] The rabbit is cold.[(triple4)] @1: The dog sees the cat.[(((triple1) -> rule1))]