The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is red. The bear likes the tiger. The bear sees the tiger. The tiger is blue. The tiger is cold. The tiger is green. The tiger sees the bear. The tiger visits the bear. If someone sees the bear then the bear sees the tiger. If someone sees the bear and the bear likes the tiger then the tiger is kind. If someone likes the tiger then the tiger is blue.
The tiger does not like the tiger.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear likes the tiger.[(triple6)] The bear sees the tiger.[(triple7 OR ((triple11) -> rule1))] The tiger is blue.[(triple8 OR ((triple6) -> rule3))] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger sees the bear.[(triple11)] The tiger visits the bear.[(triple12)] @1: The tiger is kind.[(((triple11 triple6) -> rule2))]