The bear chases the dog. The bear chases the mouse. The bear eats the dog. The bear eats the mouse. The bear is blue. The dog eats the bear. The dog eats the mouse. The dog is blue. The dog is young. The dog sees the mouse. The mouse chases the bear. The mouse chases the dog. The mouse eats the bear. The mouse eats the dog. The mouse is young. If someone eats the dog then the dog chases the bear. If someone sees the mouse and the mouse eats the dog then the mouse sees the dog. If someone eats the bear then the bear chases the dog. If someone chases the dog then the dog is young. If someone eats the dog and the dog chases the bear then the dog chases the mouse. If someone eats the mouse then they eat the dog.
The mouse chases the bear.
@0: The bear chases the dog.[(triple1 OR ((triple13) -> rule3) OR ((triple6) -> rule3))] The bear chases the mouse.[(triple2)] The bear eats the dog.[(triple3 OR ((triple4) -> rule6))] The bear eats the mouse.[(triple4)] The bear is blue.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the mouse.[(triple7)] The dog is blue.[(triple8)] The dog is young.[(triple9 OR ((triple1) -> rule4) OR ((triple12) -> rule4) OR ((((triple13) -> rule3)) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] The dog sees the mouse.[(triple10)] The mouse chases the bear.[(triple11)] The mouse chases the dog.[(triple12)] The mouse eats the bear.[(triple13)] The mouse eats the dog.[(triple14)] The mouse is young.[(triple15)] @1: The dog chases the bear.[(((triple14) -> rule1) OR ((triple3) -> rule1) OR ((((triple4) -> rule6)) -> rule1) OR ((((triple7) -> rule6)) -> rule1))] The dog eats the dog.[(((triple7) -> rule6))] The mouse sees the dog.[(((triple10 triple14) -> rule2))] @2: The dog chases the mouse.[(((triple14 ((triple14) -> rule1)) -> rule5) OR ((triple14 ((triple3) -> rule1)) -> rule5) OR ((triple3 ((triple14) -> rule1)) -> rule5) OR ((triple3 ((triple3) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((triple14) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((triple3) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((triple14) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((triple3) -> rule1)) -> rule5) OR ((triple14 ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((triple14 ((((triple7) -> rule6)) -> rule1)) -> rule5) OR ((triple3 ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((triple3 ((((triple7) -> rule6)) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((((triple7) -> rule6) ((((triple7) -> rule6)) -> rule1)) -> rule5))]