The bear chases the lion. The bear chases the tiger. The bear is red. The bear sees the lion. The bear visits the tiger. The lion chases the tiger. The lion is rough. The lion sees the tiger. The tiger does not chase the bear. The tiger chases the lion. The tiger is green. The tiger is kind. The tiger is not red. The tiger sees the bear. The tiger visits the bear. If someone is red then they visit the lion. If someone visits the lion then the lion chases the bear. If someone visits the bear and they do not visit the tiger then the tiger visits the bear.
The bear is rough.
@0: The bear chases the lion.[(triple1)] The bear chases the tiger.[(triple2)] The bear is red.[(triple3)] The bear sees the lion.[(triple4)] The bear visits the tiger.[(triple5)] The lion chases the tiger.[(triple6)] The lion is rough.[(triple7)] The lion sees the tiger.[(triple8)] The tiger chases the lion.[(triple10)] The tiger does not chase the bear.[(triple9)] The tiger is green.[(triple11)] The tiger is kind.[(triple12)] The tiger is not red.[(triple13)] The tiger sees the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear visits the lion.[(((triple3) -> rule1))] @2: The lion chases the bear.[(((((triple3) -> rule1)) -> rule2))]