The bear chases the tiger. The bear is kind. The bear is red. The bear visits the tiger. The mouse chases the bear. The mouse needs the bear. The mouse needs the tiger. The mouse visits the bear. The mouse visits the tiger. The tiger chases the bear. The tiger chases the mouse. The tiger is red. The tiger is round. The tiger needs the bear. The tiger visits the bear. The tiger visits the mouse. If someone visits the bear then the bear chases the tiger.
The bear is not kind.
@0: The bear chases the tiger.[(triple1 OR ((triple15) -> rule1) OR ((triple8) -> rule1))] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear visits the tiger.[(triple4)] The mouse chases the bear.[(triple5)] The mouse needs the bear.[(triple6)] The mouse needs the tiger.[(triple7)] The mouse visits the bear.[(triple8)] The mouse visits the tiger.[(triple9)] The tiger chases the bear.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger is red.[(triple12)] The tiger is round.[(triple13)] The tiger needs the bear.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the mouse.[(triple16)]