The bear chases the cow. The bear chases the mouse. The bear is nice. The cow chases the lion. The cow sees the bear. The cow visits the lion. The lion is cold. The lion is nice. The lion is round. The mouse chases the bear. The mouse chases the cow. The mouse is kind. The mouse is nice. The mouse sees the cow. The mouse sees the lion. If someone is kind and they chase the bear then the bear is kind. If the mouse visits the bear then the mouse chases the lion.
The cow is round.
@0: The bear chases the cow.[(triple1)] The bear chases the mouse.[(triple2)] The bear is nice.[(triple3)] The cow chases the lion.[(triple4)] The cow sees the bear.[(triple5)] The cow visits the lion.[(triple6)] The lion is cold.[(triple7)] The lion is nice.[(triple8)] The lion is round.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the cow.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse sees the cow.[(triple14)] The mouse sees the lion.[(triple15)] @1: The bear is kind.[(((triple12 triple10) -> rule1))]