The bear chases the dog. The bear is big. The bear is blue. The bear needs the dog. The bear visits the dog. The bear visits the mouse. The dog chases the mouse. The dog is big. The dog needs the mouse. The mouse chases the dog. The mouse is kind. The mouse is young. The mouse does not need the bear. The mouse needs the dog. The mouse visits the dog. If the mouse needs the dog then the dog chases the mouse. If the mouse is blue then the mouse does not need the bear. If someone is young then they chase the bear. If someone visits the mouse and the mouse chases the dog then they do not need the bear. If someone chases the mouse then they need the bear. If the bear chases the mouse and the bear is big then the mouse is kind. If someone is kind then they chase the dog. If someone needs the dog then they are big.
The dog does not chase the bear.
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2 OR ((triple4) -> rule8))] The bear is blue.[(triple3)] The bear needs the dog.[(triple4)] The bear visits the dog.[(triple5)] The bear visits the mouse.[(triple6)] The dog chases the mouse.[(triple7 OR ((triple14) -> rule1))] The dog is big.[(triple8)] The dog needs the mouse.[(triple9)] The mouse chases the dog.[(triple10 OR ((triple11) -> rule7))] The mouse does not need the bear.[(triple13)] The mouse is kind.[(triple11)] The mouse is young.[(triple12)] The mouse needs the dog.[(triple14)] The mouse visits the dog.[(triple15)] @1: The bear does not need the bear.[(((triple6 triple10) -> rule4) OR ((triple6 ((triple11) -> rule7)) -> rule4))] The dog needs the bear.[(((triple7) -> rule5) OR ((((triple14) -> rule1)) -> rule5))] The mouse chases the bear.[(((triple12) -> rule3))] The mouse is big.[(((triple14) -> rule8))]