The bear is big. The bear is cold. The bear is round. The bear is young. The bear likes the squirrel. The bear sees the squirrel. The bear visits the squirrel. The squirrel is big. The squirrel is cold. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the bear. The squirrel sees the bear. The squirrel visits the bear. If someone is round then they visit the squirrel.
The bear is red.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the squirrel.[(triple5)] The bear sees the squirrel.[(triple6)] The bear visits the squirrel.[(triple7 OR ((triple3) -> rule1))] The squirrel is big.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is red.[(triple10)] The squirrel is round.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The squirrel visits the squirrel.[(((triple11) -> rule1))]