The bear sees the rabbit. The bear sees the tiger. The bear visits the rabbit. The bear visits the tiger. The dog is big. The dog needs the rabbit. The dog needs the tiger. The dog sees the tiger. The dog visits the rabbit. The rabbit needs the tiger. The rabbit sees the bear. The tiger is kind. The tiger is nice. The tiger needs the bear. The tiger visits the dog. The tiger visits the rabbit. If someone needs the dog and they are blue then the dog is blue. If someone visits the dog then the dog sees the rabbit. If someone visits the dog and the dog needs the tiger then the tiger sees the bear. If someone is kind and they visit the tiger then they are nice. If someone sees the dog and they need the dog then they are big. If someone needs the bear and they see the dog then the bear sees the dog. If someone sees the bear and the bear sees the rabbit then the rabbit needs the dog. If someone sees the rabbit and the rabbit is nice then they visit the bear.
The bear sees the bear.
@0: The bear sees the rabbit.[(triple1)] The bear sees the tiger.[(triple2)] The bear visits the rabbit.[(triple3)] The bear visits the tiger.[(triple4)] The dog is big.[(triple5)] The dog needs the rabbit.[(triple6)] The dog needs the tiger.[(triple7)] The dog sees the tiger.[(triple8)] The dog visits the rabbit.[(triple9)] The rabbit needs the tiger.[(triple10)] The rabbit sees the bear.[(triple11)] The tiger is kind.[(triple12)] The tiger is nice.[(triple13)] The tiger needs the bear.[(triple14)] The tiger visits the dog.[(triple15)] The tiger visits the rabbit.[(triple16)] @1: The dog sees the rabbit.[(((triple15) -> rule2))] The rabbit needs the dog.[(((triple11 triple1) -> rule7) OR ((((triple15 triple7) -> rule3) triple1) -> rule7))] The tiger sees the bear.[(((triple15 triple7) -> rule3))]