The bear chases the mouse. The bear eats the mouse. The bear visits the mouse. The mouse chases the bear. The mouse eats the bear. The mouse is round. The mouse visits the bear. If someone eats the mouse then they chase the bear. If the mouse is round and the mouse eats the bear then the mouse chases the bear. If someone visits the bear then they chase the mouse. If someone visits the mouse and they are round then they eat the bear. If someone visits the bear and they eat the bear then the bear eats the mouse. If someone chases the bear and they visit the mouse then the bear is round. If someone chases the mouse then they are cold. If the bear is not kind and the bear is not round then the bear chases the mouse.
The mouse is not green.
@0: The bear chases the mouse.[(triple1)] The bear eats the mouse.[(triple2 OR ((triple7 triple5) -> rule5))] The bear visits the mouse.[(triple3)] The mouse chases the bear.[(triple4 OR ((triple6 triple5) -> rule2))] The mouse eats the bear.[(triple5)] The mouse is round.[(triple6)] The mouse visits the bear.[(triple7)] @1: The bear chases the bear.[(((triple2) -> rule1) OR ((((triple7 triple5) -> rule5)) -> rule1))] The bear is cold.[(((triple1) -> rule7))] The mouse chases the mouse.[(((triple7) -> rule3))] @2: The bear is round.[(((((triple2) -> rule1) triple3) -> rule6) OR ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6))] The mouse is cold.[(((((triple7) -> rule3)) -> rule7))] @3: The bear eats the bear.[(((triple3 ((((triple2) -> rule1) triple3) -> rule6)) -> rule4) OR ((triple3 ((((((triple7 triple5) -> rule5)) -> rule1) triple3) -> rule6)) -> rule4))]