The bear visits the cat. The cat chases the squirrel. The rabbit visits the cat. The squirrel is green. If someone visits the cat then they like the rabbit.
The bear is big.
@0: The bear visits the cat.[(triple1)] The cat chases the squirrel.[(triple2)] The rabbit visits the cat.[(triple3)] The squirrel is green.[(triple4)] @1: The bear likes the rabbit.[(((triple1) -> rule1))] The rabbit likes the rabbit.[(((triple3) -> rule1))]