The cat eats the dog. The dog is green. If someone is round and they see the dog then they need the cat. If someone eats the cat and they need the cat then they are cold. If someone eats the dog and they are big then the dog needs the cat. If someone eats the dog then the dog is round. If someone sees the dog and the dog needs the cat then they eat the dog. If someone needs the cat then they are cold. If someone sees the cat and they are big then they need the dog. If someone is round then they need the cat.
The cat is not round.
@0: The cat eats the dog.[(triple1)] The dog is green.[(triple2)] @1: The dog is round.[(((triple1) -> rule4))] @2: The dog needs the cat.[(((((triple1) -> rule4)) -> rule8))] @3: The dog is cold.[(((((((triple1) -> rule4)) -> rule8)) -> rule6))]