The bear is red. The cat is nice. The dog eats the bear. If someone eats the bear then the bear is nice. If the dog is nice and the dog eats the cat then the dog needs the bear. If someone visits the dog then they are blue. If someone eats the cat and the cat needs the bear then the bear eats the cat. If someone is nice then they visit the dog. If the dog visits the cat and the dog needs the cat then the cat needs the bear. If someone visits the cat then the cat visits the dog. If the dog eats the cat then the cat needs the bear.
The cat does not eat the bear.
@0: The bear is red.[(triple1)] The cat is nice.[(triple2)] The dog eats the bear.[(triple3)] @1: The bear is nice.[(((triple3) -> rule1))] The cat visits the dog.[(((triple2) -> rule5))] @2: The bear visits the dog.[(((((triple3) -> rule1)) -> rule5))] The cat is blue.[(((((triple2) -> rule5)) -> rule3))] @3: The bear is blue.[(((((((triple3) -> rule1)) -> rule5)) -> rule3))]