The bear is blue. The bear is cold. The bear is red. The bear is round. The bear likes the cat. The bear sees the tiger. The cat is red. The cat visits the bear. The tiger is red. The tiger likes the cat. The tiger sees the bear. The tiger visits the cat. If something visits the tiger then it visits the cat. Round things are nice.
The bear is not blue.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear likes the cat.[(triple5)] The bear sees the tiger.[(triple6)] The cat is red.[(triple7)] The cat visits the bear.[(triple8)] The tiger is red.[(triple9)] The tiger likes the cat.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the cat.[(triple12)] @1: The bear is nice.[(((triple4) -> rule2))]