The bear chases the cow. The bear is big. The bear is blue. The bear is nice. The bear is red. The bear is young. The bear likes the cow. The bear sees the cow. The cow chases the bear. The cow is blue. The cow is nice. The cow is red. The cow is young. The cow likes the bear. The cow sees the bear. If something sees the bear and the bear is blue then it is big.
The bear likes the bear.
@0: The bear chases the cow.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear likes the cow.[(triple7)] The bear sees the cow.[(triple8)] The cow chases the bear.[(triple9)] The cow is blue.[(triple10)] The cow is nice.[(triple11)] The cow is red.[(triple12)] The cow is young.[(triple13)] The cow likes the bear.[(triple14)] The cow sees the bear.[(triple15)] @1: The cow is big.[(((triple15 triple3) -> rule1))]