The bear likes the tiger. The cat chases the bear. The tiger is round. If something chases the bear then it is green.
The cat does not chase the bear.
@0: The bear likes the tiger.[(triple1)] The cat chases the bear.[(triple2)] The tiger is round.[(triple3)] @1: The cat is green.[(((triple2) -> rule1))]