The bear chases the tiger. The bear is kind. The bear likes the dog. The dog chases the bear. The dog chases the tiger. The dog is kind. The dog is young. The dog likes the bear. The dog likes the lion. The dog needs the tiger. The lion chases the bear. The lion chases the dog. The lion likes the tiger. The lion needs the tiger. The tiger chases the bear. The tiger chases the lion. If something is young then it needs the bear. If something likes the lion and it needs the bear then the lion is green. If something likes the tiger and the tiger needs the dog then it chases the lion. If something is green and it chases the dog then the dog needs the lion. All round things are green. If something needs the dog and the dog needs the tiger then the tiger likes the lion.
The tiger likes the tiger.
@0: The bear chases the tiger.[(triple1)] The bear is kind.[(triple2)] The bear likes the dog.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the tiger.[(triple5)] The dog is kind.[(triple6)] The dog is young.[(triple7)] The dog likes the bear.[(triple8)] The dog likes the lion.[(triple9)] The dog needs the tiger.[(triple10)] The lion chases the bear.[(triple11)] The lion chases the dog.[(triple12)] The lion likes the tiger.[(triple13)] The lion needs the tiger.[(triple14)] The tiger chases the bear.[(triple15)] The tiger chases the lion.[(triple16)] @1: The dog needs the bear.[(((triple7) -> rule1))] @2: The lion is green.[(((triple9 ((triple7) -> rule1)) -> rule2))] @3: The dog needs the lion.[(((((triple9 ((triple7) -> rule1)) -> rule2) triple12) -> rule4))]