The bear is blue. The bear is young. The bear likes the cow. The bear visits the cow. The cow chases the bear. The cow is blue. The cow likes the lion. The lion chases the cow. The lion likes the rabbit. The lion visits the bear. The rabbit chases the bear. The rabbit is blue. The rabbit likes the bear. The rabbit likes the cow. The rabbit visits the bear. The rabbit visits the cow. If someone is blue and they visit the rabbit then the rabbit is young. If someone is blue then they like the bear.
The bear chases the rabbit.
@0: The bear is blue.[(triple1)] The bear is young.[(triple2)] The bear likes the cow.[(triple3)] The bear visits the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is blue.[(triple6)] The cow likes the lion.[(triple7)] The lion chases the cow.[(triple8)] The lion likes the rabbit.[(triple9)] The lion visits the bear.[(triple10)] The rabbit chases the bear.[(triple11)] The rabbit is blue.[(triple12)] The rabbit likes the bear.[(triple13 OR ((triple12) -> rule2))] The rabbit likes the cow.[(triple14)] The rabbit visits the bear.[(triple15)] The rabbit visits the cow.[(triple16)] @1: The bear likes the bear.[(((triple1) -> rule2))] The cow likes the bear.[(((triple6) -> rule2))]