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