The bear is round. The bear needs the dog. The bear needs the tiger. The bear sees the lion. The dog is blue. The dog is green. The dog is rough. The dog sees the bear. The lion chases the tiger. The lion is blue. The lion needs the dog. The lion does not see the bear. The lion sees the tiger. The tiger is green. The tiger needs the dog. If someone sees the tiger then they are nice. If someone is round then they chase the dog. If someone sees the dog then they do not chase the dog. If someone needs the lion and the lion chases the tiger then they are green. If the tiger sees the bear and the tiger does not chase the lion then the lion chases the bear. If someone is nice then they need the lion.
The tiger chases the bear.
@0: The bear is round.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the lion.[(triple4)] The dog is blue.[(triple5)] The dog is green.[(triple6)] The dog is rough.[(triple7)] The dog sees the bear.[(triple8)] The lion chases the tiger.[(triple9)] The lion does not see the bear.[(triple12)] The lion is blue.[(triple10)] The lion needs the dog.[(triple11)] The lion sees the tiger.[(triple13)] The tiger is green.[(triple14)] The tiger needs the dog.[(triple15)] @1: The bear chases the dog.[(((triple1) -> rule2))] The lion is nice.[(((triple13) -> rule1))] @2: The lion needs the lion.[(((((triple13) -> rule1)) -> rule6))] @3: The lion is green.[(((((((triple13) -> rule1)) -> rule6) triple9) -> rule4))]