The bear is rough. The bear likes the mouse. The bear sees the mouse. The lion does not visit the mouse. The mouse likes the lion. The squirrel is green. The squirrel sees the lion. If someone visits the lion and they are young then they do not visit the mouse. If the bear likes the lion and the bear does not visit the squirrel then the bear does not see the mouse. If someone is round then they like the lion. If someone likes the lion then they are not rough. If someone is round then they are nice. Green people are round.
The bear is nice.
@0: The bear is rough.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the mouse.[(triple3)] The lion does not visit the mouse.[(triple4)] The mouse likes the lion.[(triple5)] The squirrel is green.[(triple6)] The squirrel sees the lion.[(triple7)] @1: The mouse is not rough.[(((triple5) -> rule4))] The squirrel is round.[(((triple6) -> rule6))] @2: The squirrel is nice.[(((((triple6) -> rule6)) -> rule5))] The squirrel likes the lion.[(((((triple6) -> rule6)) -> rule3))] @3: The squirrel is not rough.[(((((((triple6) -> rule6)) -> rule3)) -> rule4))]