The bear chases the rabbit. The bear chases the squirrel. The bear is rough. The bear sees the rabbit. The bear sees the squirrel. The bear visits the rabbit. The rabbit chases the bear. The rabbit visits the bear. The squirrel chases the bear. The squirrel is not young. The squirrel sees the bear. The squirrel sees the rabbit. If something visits the rabbit and it sees the bear then it is rough. If the squirrel sees the rabbit then the squirrel visits the rabbit. If something sees the squirrel then the squirrel visits the rabbit. If the rabbit is cold then the rabbit does not chase the bear. If something sees the bear and it is not cold then the bear is not young. If something sees the squirrel and the squirrel is rough then it is young. If something is blue then it chases the bear. If something sees the squirrel and the squirrel is cold then the squirrel is young.
The squirrel is rough.
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is rough.[(triple3)] The bear sees the rabbit.[(triple4)] The bear sees the squirrel.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit visits the bear.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel is not young.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The squirrel visits the rabbit.[(((triple12) -> rule2) OR ((triple5) -> rule3))] @2: The squirrel is rough.[(((((triple12) -> rule2) triple11) -> rule1) OR ((((triple5) -> rule3) triple11) -> rule1))] @3: The bear is young.[(((triple5 ((((triple12) -> rule2) triple11) -> rule1)) -> rule6) OR ((triple5 ((((triple5) -> rule3) triple11) -> rule1)) -> rule6))]