The bear chases the tiger. The bear is blue. The bear is rough. The bear likes the mouse. The bear likes the tiger. The bear visits the tiger. The mouse is blue. The mouse likes the tiger. The tiger likes the mouse. The tiger visits the bear. If something likes the mouse then the mouse likes the bear. If something visits the bear then it is cold. If something is blue and it chases the tiger then the tiger chases the mouse. If something likes the mouse and it is blue then it is young. If something visits the mouse then it chases the tiger. If something likes the bear and the bear likes the tiger then it likes the mouse.
The mouse is young.
@0: The bear chases the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear likes the mouse.[(triple4)] The bear likes the tiger.[(triple5)] The bear visits the tiger.[(triple6)] The mouse is blue.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger likes the mouse.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear is young.[(((triple4 triple2) -> rule4))] The mouse likes the bear.[(((triple4) -> rule1) OR ((triple9) -> rule1))] The tiger chases the mouse.[(((triple2 triple1) -> rule3))] The tiger is cold.[(((triple10) -> rule2))] @2: The mouse likes the mouse.[(((((triple4) -> rule1) triple5) -> rule6) OR ((((triple9) -> rule1) triple5) -> rule6))] @3: The mouse is young.[(((((((triple4) -> rule1) triple5) -> rule6) triple7) -> rule4) OR ((((((triple9) -> rule1) triple5) -> rule6) triple7) -> rule4))]