The bear is kind. The bear is rough. The bear needs the cow. The bear sees the cow. The bear sees the lion. The cow does not chase the bear. The cow chases the lion. The cow is rough. The cow does not need the bear. The cow sees the bear. The cow sees the lion. The lion chases the bear. The lion is rough. The lion needs the bear. The lion sees the bear. The lion sees the cow. If someone sees the lion then they chase the lion. All nice people are not blue. If someone is kind then they are blue. If someone needs the bear and they do not need the lion then the lion is rough. If someone sees the cow then they need the bear. If someone chases the bear and they do not need the lion then they need the cow. If someone needs the lion then the lion does not need the cow. If someone needs the cow then they are round.
The bear sees the lion.
@0: The bear is kind.[(triple1)] The bear is rough.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the lion.[(triple5)] The cow chases the lion.[(triple7 OR ((triple11) -> rule1))] The cow does not chase the bear.[(triple6)] The cow does not need the bear.[(triple9)] The cow is rough.[(triple8)] The cow sees the bear.[(triple10)] The cow sees the lion.[(triple11)] The lion chases the bear.[(triple12)] The lion is rough.[(triple13)] The lion needs the bear.[(triple14 OR ((triple16) -> rule5))] The lion sees the bear.[(triple15)] The lion sees the cow.[(triple16)] @1: The bear chases the lion.[(((triple5) -> rule1))] The bear is blue.[(((triple1) -> rule3))] The bear is round.[(((triple3) -> rule8))] The bear needs the bear.[(((triple4) -> rule5))]