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