The bear is cold. The bear is rough. The bear likes the lion. The bear likes the squirrel. The bear needs the lion. The bear needs the squirrel. The bear visits the lion. The bear visits the squirrel. The lion likes the bear. The lion visits the bear. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel likes the lion. The squirrel needs the lion. The squirrel visits the bear. If someone visits the squirrel then the squirrel needs the lion. If someone needs the lion and they are blue then they are green. If someone needs the bear and the bear is cold then they like the squirrel. If the squirrel is young and the squirrel needs the bear then the squirrel is cold. If someone visits the squirrel and the squirrel likes the lion then the lion is blue. If someone likes the lion and the lion visits the bear then the lion likes the squirrel. If someone needs the bear then the bear likes the lion. If someone needs the bear and they like the bear then the bear likes the lion.
The lion is not green.
@0: The bear is cold.[(triple1)] The bear is rough.[(triple2)] The bear likes the lion.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the lion.[(triple5)] The bear needs the squirrel.[(triple6)] The bear visits the lion.[(triple7)] The bear visits the squirrel.[(triple8)] The lion likes the bear.[(triple9)] The lion visits the bear.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is green.[(triple13 OR ((triple15 triple11) -> rule2) OR ((((triple8) -> rule1) triple11) -> rule2))] The squirrel likes the lion.[(triple14)] The squirrel needs the lion.[(triple15 OR ((triple8) -> rule1))] The squirrel visits the bear.[(triple16)] @1: The lion is blue.[(((triple8 triple14) -> rule5))] The lion likes the squirrel.[(((triple14 triple10) -> rule6) OR ((triple3 triple10) -> rule6))]