The lion sees the rabbit. The rabbit is kind. The rabbit sees the lion. If the rabbit likes the lion then the lion sees the rabbit. If someone is kind and they see the lion then they are blue.
The rabbit sees the rabbit.
@0: The lion sees the rabbit.[(triple1)] The rabbit is kind.[(triple2)] The rabbit sees the lion.[(triple3)] @1: The rabbit is blue.[(((triple2 triple3) -> rule2))]