The bear is rough. The bear likes the lion. The bear sees the tiger. The lion is rough. The mouse is green. The mouse is young. The tiger visits the bear. If something sees the mouse then the mouse sees the lion. If something likes the bear then the bear sees the mouse. If the bear is rough and the bear is young then the bear likes the tiger. If something visits the lion and it visits the bear then the bear sees the lion. If the lion is red then the lion is cold. If something is young then it likes the bear.
The tiger does not like the lion.
@0: The bear is rough.[(triple1)] The bear likes the lion.[(triple2)] The bear sees the tiger.[(triple3)] The lion is rough.[(triple4)] The mouse is green.[(triple5)] The mouse is young.[(triple6)] The tiger visits the bear.[(triple7)] @1: The mouse likes the bear.[(((triple6) -> rule6))] @2: The bear sees the mouse.[(((((triple6) -> rule6)) -> rule2))] @3: The mouse sees the lion.[(((((((triple6) -> rule6)) -> rule2)) -> rule1))]