The cat is nice. The dog needs the tiger. The tiger needs the cat. If something is blue then it does not see the tiger. If something needs the dog then it needs the cat. If something sees the dog and the dog sees the tiger then the tiger is not rough. If the tiger needs the dog and the dog is nice then the tiger sees the dog. If the tiger eats the dog then the tiger is blue. If something is nice and it needs the dog then the dog needs the tiger. If something eats the dog then the dog is blue. If the tiger needs the cat then the cat eats the dog.
The dog is not blue.
@0: The cat is nice.[(triple1)] The dog needs the tiger.[(triple2)] The tiger needs the cat.[(triple3)] @1: The cat eats the dog.[(((triple3) -> rule8))] @2: The dog is blue.[(((((triple3) -> rule8)) -> rule7))] @3: The dog does not see the tiger.[(((((((triple3) -> rule8)) -> rule7)) -> rule1))]