The bear sees the rabbit. The dog chases the rabbit. The rabbit is nice. If someone sees the bear and the bear chases the rabbit then they are red. All nice people are red.
The dog is not red.
@0: The bear sees the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The rabbit is nice.[(triple3)] @1: The rabbit is red.[(((triple3) -> rule2))]