The cat needs the dog. The dog likes the cat. If someone is round then they eat the cat. If someone eats the cat then the cat is not kind. If someone eats the dog then the dog is big. If the cat likes the dog then the dog is round. If someone needs the dog and the dog needs the cat then the cat likes the dog. If someone likes the cat and the cat needs the dog then the cat is round.
The cat does not eat the cat.
@0: The cat needs the dog.[(triple1)] The dog likes the cat.[(triple2)] @1: The cat is round.[(((triple2 triple1) -> rule6))] @2: The cat eats the cat.[(((((triple2 triple1) -> rule6)) -> rule1))] @3: The cat is not kind.[(((((((triple2 triple1) -> rule6)) -> rule1)) -> rule2))]