The bear is round. The bear visits the dog. The dog does not eat the bear. The dog is green. The dog is red. The dog is round. The dog does not visit the bear. If someone eats the dog and they are not round then they do not eat the bear. If someone is round then they are nice. If someone is green and they eat the bear then they are big. If someone is big and they do not visit the bear then the bear does not visit the dog. If someone is nice then they need the bear. If someone needs the bear then they eat the dog.
The dog does not eat the bear.
@0: The bear is round.[(triple1)] The bear visits the dog.[(triple2)] The dog does not eat the bear.[(triple3)] The dog does not visit the bear.[(triple7)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog is round.[(triple6)] @1: The bear is nice.[(((triple1) -> rule2))] The dog is nice.[(((triple6) -> rule2))] @2: The bear needs the bear.[(((((triple1) -> rule2)) -> rule5))] The dog needs the bear.[(((((triple6) -> rule2)) -> rule5))] @3: The bear eats the dog.[(((((((triple1) -> rule2)) -> rule5)) -> rule6))] The dog eats the dog.[(((((((triple6) -> rule2)) -> rule5)) -> rule6))]