The cat needs the cow. The cow is big. The dog sees the cat. If someone sees the dog then they need the dog. If someone visits the cow then they need the cat. If someone is rough and big then they need the cat. If someone needs the cow then the cow needs the dog. If someone needs the dog then the dog is cold. If someone sees the dog and the dog needs the cat then they see the cat.
The cow does not see the cat.
@0: The cat needs the cow.[(triple1)] The cow is big.[(triple2)] The dog sees the cat.[(triple3)] @1: The cow needs the dog.[(((triple1) -> rule4))] @2: The dog is cold.[(((((triple1) -> rule4)) -> rule5))]