The bear is blue. The bear is green. The bear is nice. The bear likes the squirrel. The bear likes the tiger. The bear does not need the squirrel. The bear needs the tiger. The cat is green. The cat is kind. The cat likes the bear. The cat likes the squirrel. The cat needs the squirrel. The cat visits the squirrel. The cat does not visit the tiger. The squirrel likes the bear. The tiger visits the bear. If someone likes the bear then the bear does not visit the tiger. If someone visits the squirrel and they are kind then they like the cat. If someone needs the cat then they are kind.
The cat likes the cat.
@0: The bear does not need the squirrel.[(triple6)] The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear likes the squirrel.[(triple4)] The bear likes the tiger.[(triple5)] The bear needs the tiger.[(triple7)] The cat does not visit the tiger.[(triple14)] The cat is green.[(triple8)] The cat is kind.[(triple9)] The cat likes the bear.[(triple10)] The cat likes the squirrel.[(triple11)] The cat needs the squirrel.[(triple12)] The cat visits the squirrel.[(triple13)] The squirrel likes the bear.[(triple15)] The tiger visits the bear.[(triple16)] @1: The bear does not visit the tiger.[(((triple10) -> rule1) OR ((triple15) -> rule1))] The cat likes the cat.[(((triple13 triple9) -> rule2))]