The bear chases the mouse. The bear is blue. The bear is cold. The bear is red. The bear is round. The bear is young. The bear likes the mouse. The bear visits the mouse. The mouse chases the bear. The mouse is red. The mouse likes the bear. The mouse visits the bear. If someone visits the mouse then they chase the mouse. If someone visits the mouse then they visit the bear. If someone is blue and cold then they like the mouse. If someone visits the bear and they visit the mouse then the mouse visits the bear. If someone visits the bear and they like the mouse then they visit the mouse. If someone visits the bear and they chase the bear then they are round.
The bear is young.
@0: The bear chases the mouse.[(triple1 OR ((triple8) -> rule1))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the mouse.[(triple7 OR ((triple2 triple3) -> rule3))] The bear visits the mouse.[(triple8)] The mouse chases the bear.[(triple9)] The mouse is red.[(triple10)] The mouse likes the bear.[(triple11)] The mouse visits the bear.[(triple12 OR ((((triple8) -> rule2) triple8) -> rule4))] @1: The bear visits the bear.[(((triple8) -> rule2))] The mouse is round.[(((triple12 triple9) -> rule6) OR ((((((triple8) -> rule2) triple8) -> rule4) triple9) -> rule6))]