The cow chases the lion. The dog is nice. The dog is rough. The lion chases the dog. The lion is green. The lion is round. The lion likes the cow. If someone chases the lion then they like the dog. If someone is nice then they chase the lion.
The cow is nice.
@0: The cow chases the lion.[(triple1)] The dog is nice.[(triple2)] The dog is rough.[(triple3)] The lion chases the dog.[(triple4)] The lion is green.[(triple5)] The lion is round.[(triple6)] The lion likes the cow.[(triple7)] @1: The cow likes the dog.[(((triple1) -> rule1))] The dog chases the lion.[(((triple2) -> rule2))] @2: The dog likes the dog.[(((((triple2) -> rule2)) -> rule1))]