The bear chases the squirrel. The bear is blue. The bear is green. The bear is kind. The bear is nice. The bear is rough. The bear likes the squirrel. The bear visits the squirrel. The squirrel chases the bear. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel likes the bear. The squirrel visits the bear. If something likes the squirrel and the squirrel chases the bear then it is green.
The squirrel likes the squirrel.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3 OR ((triple7 triple9) -> rule1))] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is rough.[(triple6)] The bear likes the squirrel.[(triple7)] The bear visits the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is rough.[(triple13)] The squirrel likes the bear.[(triple14)] The squirrel visits the bear.[(triple15)]