The bear is kind. The bear is nice. The bear is not rough. The bear likes the squirrel. The bear does not like the tiger. The bear visits the squirrel. The bear does not visit the tiger. The dog is nice. The dog is not rough. The dog does not like the tiger. The squirrel is not rough. The squirrel likes the bear. The tiger is kind. The tiger likes the bear. The tiger does not visit the bear. If something likes the bear then the bear likes the squirrel. If something is kind and it needs the bear then it needs the squirrel. If something visits the tiger and the tiger is kind then the tiger visits the squirrel.
The tiger is young.
@0: The bear does not like the tiger.[(triple5)] The bear does not visit the tiger.[(triple7)] The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear is not rough.[(triple3)] The bear likes the squirrel.[(triple4 OR ((triple12) -> rule1) OR ((triple14) -> rule1))] The bear visits the squirrel.[(triple6)] The dog does not like the tiger.[(triple10)] The dog is nice.[(triple8)] The dog is not rough.[(triple9)] The squirrel is not rough.[(triple11)] The squirrel likes the bear.[(triple12)] The tiger does not visit the bear.[(triple15)] The tiger is kind.[(triple13)] The tiger likes the bear.[(triple14)]