The bear chases the dog. The bear is blue. The bear is rough. The bear likes the dog. The bear likes the squirrel. The dog chases the tiger. The dog is green. The dog visits the bear. The squirrel chases the dog. The squirrel is blue. The squirrel likes the bear. The tiger chases the dog. The tiger chases the squirrel. The tiger is blue. The tiger is rough. The tiger likes the dog. If something likes the dog and it is rough then it is big. If something visits the dog and the dog likes the squirrel then the dog chases the bear. If the squirrel visits the bear then the bear likes the dog. If something visits the tiger then the tiger is nice. If the bear likes the dog then the bear visits the dog. All big, blue things are nice.
The squirrel likes the bear.
@0: The bear chases the dog.[(triple1)] The bear is blue.[(triple2)] The bear is rough.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the squirrel.[(triple5)] The dog chases the tiger.[(triple6)] The dog is green.[(triple7)] The dog visits the bear.[(triple8)] The squirrel chases the dog.[(triple9)] The squirrel is blue.[(triple10)] The squirrel likes the bear.[(triple11)] The tiger chases the dog.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger is blue.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the dog.[(triple16)] @1: The bear is big.[(((triple4 triple3) -> rule1))] The bear visits the dog.[(((triple4) -> rule5))] The tiger is big.[(((triple16 triple15) -> rule1))] @2: The bear is nice.[(((((triple4 triple3) -> rule1) triple2) -> rule6))] The tiger is nice.[(((((triple16 triple15) -> rule1) triple14) -> rule6))]