The bear chases the dog. The bear eats the dog. The bear is round. The bear needs the mouse. The dog eats the mouse. The dog is kind. The dog is rough. The dog is round. The dog needs the bear. The dog needs the mouse. The mouse chases the bear. The mouse eats the bear. The mouse eats the dog. The mouse is round. The mouse needs the dog. If someone chases the bear then they are kind. If someone is round then they chase the bear. All kind people are rough. If the mouse is green then the mouse chases the dog. If someone needs the bear then they need the mouse. If someone eats the bear and the bear is red then they are round.
The dog does not chase the bear.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2)] The bear is round.[(triple3)] The bear needs the mouse.[(triple4)] The dog eats the mouse.[(triple5)] The dog is kind.[(triple6 OR ((((triple8) -> rule2)) -> rule1))] The dog is rough.[(triple7 OR ((triple6) -> rule3) OR ((((((triple8) -> rule2)) -> rule1)) -> rule3))] The dog is round.[(triple8)] The dog needs the bear.[(triple9)] The dog needs the mouse.[(triple10 OR ((triple9) -> rule5))] The mouse chases the bear.[(triple11 OR ((triple14) -> rule2))] The mouse eats the bear.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is round.[(triple14)] The mouse needs the dog.[(triple15)] @1: The bear chases the bear.[(((triple3) -> rule2))] The dog chases the bear.[(((triple8) -> rule2))] The mouse is kind.[(((triple11) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] @2: The bear is kind.[(((((triple3) -> rule2)) -> rule1))] The mouse is rough.[(((((triple11) -> rule1)) -> rule3) OR ((((((triple14) -> rule2)) -> rule1)) -> rule3))] @3: The bear is rough.[(((((((triple3) -> rule2)) -> rule1)) -> rule3))]