The bear chases the dog. The bear eats the dog. The bear is blue. The bear is green. The bear is kind. The bear is young. The bear needs the dog. The dog chases the bear. The dog is blue. The dog is green. The dog is nice. The dog needs the bear. If the bear eats the dog and the dog is blue then the dog is kind. If someone is nice then they chase the bear. If someone eats the dog and the dog needs the bear then they eat the bear. If the dog is green and the dog is young then the dog is blue. If someone eats the bear then they are blue. If someone is kind then they eat the dog.
The bear does not chase the bear.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple5) -> rule6))] The bear is blue.[(triple3 OR ((((triple2 triple12) -> rule3)) -> rule5) OR ((((((triple5) -> rule6) triple12) -> rule3)) -> rule5))] The bear is green.[(triple4)] The bear is kind.[(triple5)] The bear is young.[(triple6)] The bear needs the dog.[(triple7)] The dog chases the bear.[(triple8 OR ((triple11) -> rule2))] The dog is blue.[(triple9)] The dog is green.[(triple10)] The dog is nice.[(triple11)] The dog needs the bear.[(triple12)] @1: The bear eats the bear.[(((triple2 triple12) -> rule3) OR ((((triple5) -> rule6) triple12) -> rule3))] The dog is kind.[(((triple2 triple9) -> rule1) OR ((((triple5) -> rule6) triple9) -> rule1))] @2: The dog eats the dog.[(((((triple2 triple9) -> rule1)) -> rule6) OR ((((((triple5) -> rule6) triple9) -> rule1)) -> rule6))] @3: The dog eats the bear.[(((((((triple2 triple9) -> rule1)) -> rule6) triple12) -> rule3) OR ((((((((triple5) -> rule6) triple9) -> rule1)) -> rule6) triple12) -> rule3))]