The bear chases the mouse. The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is round. The bear likes the mouse. The bear sees the mouse. The mouse chases the bear. The mouse is round. The mouse likes the bear. The mouse sees the bear. If someone likes the bear and the bear sees the mouse then the bear chases the mouse. If someone sees the mouse then the mouse is cold. If someone chases the mouse and the mouse sees the bear then the bear sees the mouse. If someone chases the bear then the bear is red. If someone likes the mouse then they are round. If someone is nice and they chase the mouse then they are cold. If someone sees the bear and they are cold then they see the mouse. If someone sees the mouse and they see the bear then they are kind.
The mouse does not see the mouse.
@0: The bear chases the mouse.[(triple1 OR ((triple11 triple8) -> rule1))] The bear is cold.[(triple2 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple11 triple8) -> rule1)) -> rule6))] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5 OR ((triple9) -> rule4))] The bear is round.[(triple6 OR ((triple7) -> rule5))] The bear likes the mouse.[(triple7)] The bear sees the mouse.[(triple8 OR ((triple1 triple12) -> rule3))] The mouse chases the bear.[(triple9)] The mouse is round.[(triple10)] The mouse likes the bear.[(triple11)] The mouse sees the bear.[(triple12)] @1: The mouse is cold.[(((triple8) -> rule2) OR ((((triple1 triple12) -> rule3)) -> rule2))] @2: The mouse sees the mouse.[(((triple12 ((triple8) -> rule2)) -> rule7) OR ((triple12 ((((triple1 triple12) -> rule3)) -> rule2)) -> rule7))] @3: The mouse is kind.[(((((triple12 ((triple8) -> rule2)) -> rule7) triple12) -> rule8) OR ((((triple12 ((((triple1 triple12) -> rule3)) -> rule2)) -> rule7) triple12) -> rule8))]