The bear is blue. The bear is round. The bear is young. The bear visits the lion. The bear visits the squirrel. The lion chases the bear. The lion is green. The lion visits the squirrel. The mouse sees the squirrel. The mouse visits the bear. The mouse visits the lion. The squirrel sees the lion. The squirrel sees the mouse. The squirrel visits the bear. The squirrel visits the lion. The squirrel visits the mouse. If something sees the squirrel and it visits the bear then the bear sees the squirrel. If something visits the bear and the bear chases the lion then the lion visits the bear. If something sees the bear and it sees the squirrel then it visits the bear. If something is green then it is round. If the squirrel sees the mouse and the squirrel chases the mouse then the squirrel sees the bear. If the squirrel visits the lion and the lion sees the bear then the bear sees the lion. If something is green and young then it chases the squirrel. If something chases the lion and the lion is cold then the lion sees the squirrel.
The lion is young.
@0: The bear is blue.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear visits the lion.[(triple4)] The bear visits the squirrel.[(triple5)] The lion chases the bear.[(triple6)] The lion is green.[(triple7)] The lion visits the squirrel.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the bear.[(triple10)] The mouse visits the lion.[(triple11)] The squirrel sees the lion.[(triple12)] The squirrel sees the mouse.[(triple13)] The squirrel visits the bear.[(triple14)] The squirrel visits the lion.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The bear sees the squirrel.[(((triple9 triple10) -> rule1))] The lion is round.[(((triple7) -> rule4))]