The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle likes the bear. The bear chases the cow. The bear chases the rabbit. The bear likes the cow. The bear likes the rabbit. The bear sees the cow. The bear sees the rabbit. The cow chases the rabbit. The cow likes the rabbit. The cow sees the rabbit. The rabbit chases the bald eagle. The rabbit is blue. The rabbit likes the bear. The rabbit sees the cow. If something sees the bald eagle and it chases the rabbit then the bald eagle is young. If something likes the rabbit and it sees the cow then the cow is green. If something sees the bear and it is blue then it likes the rabbit. All green things are kind. If something likes the bear then it is kind. If something likes the rabbit then it likes the bald eagle.
The bear likes the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear chases the cow.[(triple4)] The bear chases the rabbit.[(triple5)] The bear likes the cow.[(triple6)] The bear likes the rabbit.[(triple7)] The bear sees the cow.[(triple8)] The bear sees the rabbit.[(triple9)] The cow chases the rabbit.[(triple10)] The cow likes the rabbit.[(triple11)] The cow sees the rabbit.[(triple12)] The rabbit chases the bald eagle.[(triple13)] The rabbit is blue.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit sees the cow.[(triple16)] @1: The bald eagle is kind.[(((triple3) -> rule5))] The bear likes the bald eagle.[(((triple7) -> rule6))] The cow is green.[(((triple7 triple8) -> rule2))] The cow likes the bald eagle.[(((triple11) -> rule6))] The rabbit is kind.[(((triple15) -> rule5))] @2: The cow is kind.[(((((triple7 triple8) -> rule2)) -> rule4))]