The bear chases the mouse. The bear eats the mouse. The bear is green. The bear is kind. The bear is red. The bear is rough. The bear likes the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is green. The mouse is not kind. The mouse is nice. If someone is red then they eat the mouse. If someone likes the mouse and they are not nice then they are green.
The mouse is rough.
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2 OR ((triple5) -> rule1))] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear likes the mouse.[(triple7)] The mouse chases the bear.[(triple8)] The mouse eats the bear.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple12)] The mouse is not kind.[(triple11)]