The bear is kind. The bear is nice. The bear is rough. The bear likes the cat. The bear likes the lion. The bear needs the tiger. The bear visits the cat. The cat is red. The cat likes the bear. The cat needs the bear. The cat visits the bear. The lion needs the tiger. The tiger is red. The tiger likes the bear. The tiger visits the cat. If someone likes the cat then the cat is rough.
The cat is not red.
@0: The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the lion.[(triple5)] The bear needs the tiger.[(triple6)] The bear visits the cat.[(triple7)] The cat is red.[(triple8)] The cat likes the bear.[(triple9)] The cat needs the bear.[(triple10)] The cat visits the bear.[(triple11)] The lion needs the tiger.[(triple12)] The tiger is red.[(triple13)] The tiger likes the bear.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat is rough.[(((triple4) -> rule1))]