The bear is green. The bear is nice. The bear is young. The bear likes the squirrel. The bear sees the squirrel. The bear visits the squirrel. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel likes the bear. The squirrel sees the bear. The squirrel visits the bear. If someone likes the bear then the bear visits the squirrel. If the squirrel visits the bear then the bear likes the squirrel. If someone sees the squirrel and they are red then they visit the squirrel.
The squirrel does not visit the squirrel.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is young.[(triple3)] The bear likes the squirrel.[(triple4 OR ((triple12) -> rule2))] The bear sees the squirrel.[(triple5)] The bear visits the squirrel.[(triple6 OR ((triple10) -> rule1))] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the bear.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the bear.[(triple12)]