The bear is round. The cow is nice. The lion needs the cow. The mouse sees the cow. If someone is round then they need the lion. If someone sees the cow then the cow needs the bear.
The cow is not nice.
@0: The bear is round.[(triple1)] The cow is nice.[(triple2)] The lion needs the cow.[(triple3)] The mouse sees the cow.[(triple4)] @1: The bear needs the lion.[(((triple1) -> rule1))] The cow needs the bear.[(((triple4) -> rule2))]