The bear does not chase the dog. The bear chases the mouse. The bear eats the dog. The bear is nice. The bear is young. The bear visits the dog. The bear does not visit the mouse. The dog chases the mouse. The dog eats the bear. The dog is kind. The mouse chases the dog. The mouse eats the dog. The mouse is kind. The mouse is nice. The mouse does not visit the bear. If someone visits the dog and they eat the dog then they are nice. If someone visits the dog then the dog is nice. If someone is red and they do not eat the dog then they visit the mouse. If someone eats the dog and they do not visit the dog then the dog is red. If someone visits the mouse then they chase the mouse. If someone is nice and red then they do not chase the mouse.
The dog is big.
@0: The bear chases the mouse.[(triple2)] The bear does not chase the dog.[(triple1)] The bear does not visit the mouse.[(triple7)] The bear eats the dog.[(triple3)] The bear is nice.[(triple4 OR ((triple6 triple3) -> rule1))] The bear is young.[(triple5)] The bear visits the dog.[(triple6)] The dog chases the mouse.[(triple8)] The dog eats the bear.[(triple9)] The dog is kind.[(triple10)] The mouse chases the dog.[(triple11)] The mouse does not visit the bear.[(triple15)] The mouse eats the dog.[(triple12)] The mouse is kind.[(triple13)] The mouse is nice.[(triple14)] @1: The dog is nice.[(((triple6) -> rule2))]