The bear chases the rabbit. The cow chases the bear. The rabbit chases the bear. If something visits the rabbit then it is rough. If something is round then it visits the cow. If the rabbit is rough and the rabbit is young then the rabbit visits the bear. If something visits the cow and the cow needs the bear then the bear is kind. If something needs the cow then the cow is blue. All blue things are kind. If something chases the bear then it needs the cow. If something is young and it chases the rabbit then it is rough.
The cow is kind.
@0: The bear chases the rabbit.[(triple1)] The cow chases the bear.[(triple2)] The rabbit chases the bear.[(triple3)] @1: The cow needs the cow.[(((triple2) -> rule7))] The rabbit needs the cow.[(((triple3) -> rule7))] @2: The cow is blue.[(((((triple2) -> rule7)) -> rule5) OR ((((triple3) -> rule7)) -> rule5))] @3: The cow is kind.[(((((((triple2) -> rule7)) -> rule5)) -> rule6) OR ((((((triple3) -> rule7)) -> rule5)) -> rule6))]