The bear is green. The bear does not need the dog. The bear sees the rabbit. The bear visits the tiger. The dog is round. The dog does not see the rabbit. The rabbit is rough. The rabbit needs the dog. The rabbit sees the bear. The rabbit sees the dog. The rabbit sees the tiger. The tiger is round. The tiger needs the dog. The tiger sees the bear. The tiger visits the rabbit. If the bear visits the tiger then the tiger is kind. Kind people are blue.
The rabbit is kind.
@0: The bear does not need the dog.[(triple2)] The bear is green.[(triple1)] The bear sees the rabbit.[(triple3)] The bear visits the tiger.[(triple4)] The dog does not see the rabbit.[(triple6)] The dog is round.[(triple5)] The rabbit is rough.[(triple7)] The rabbit needs the dog.[(triple8)] The rabbit sees the bear.[(triple9)] The rabbit sees the dog.[(triple10)] The rabbit sees the tiger.[(triple11)] The tiger is round.[(triple12)] The tiger needs the dog.[(triple13)] The tiger sees the bear.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The tiger is kind.[(((triple4) -> rule1))] @2: The tiger is blue.[(((((triple4) -> rule1)) -> rule2))]