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