The bear eats the rabbit. The bear is blue. The bear needs the rabbit. The bear needs the tiger. The bear visits the tiger. The rabbit eats the bear. The rabbit eats the tiger. The rabbit is cold. The rabbit is kind. The rabbit needs the bear. The tiger eats the bear. The tiger is blue. The tiger is cold. The tiger is kind. The tiger needs the bear. The tiger visits the rabbit. If something visits the bear and the bear needs the rabbit then it eats the bear. If something is blue then it eats the rabbit. If something is blue and it needs the bear then the bear visits the rabbit.
The tiger is not kind.
@0: The bear eats the rabbit.[(triple1 OR ((triple2) -> rule2))] The bear is blue.[(triple2)] The bear needs the rabbit.[(triple3)] The bear needs the tiger.[(triple4)] The bear visits the tiger.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is kind.[(triple9)] The rabbit needs the bear.[(triple10)] The tiger eats the bear.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is kind.[(triple14)] The tiger needs the bear.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The bear visits the rabbit.[(((triple12 triple15) -> rule3))] The tiger eats the rabbit.[(((triple12) -> rule2))]