The rabbit is red. The tiger is nice. If someone sees the rabbit then they are nice. If someone sees the tiger then the tiger likes the rabbit. If someone visits the tiger and they are nice then they see the tiger. If someone is nice then they are round. If someone is green and they see the rabbit then the rabbit does not see the tiger. If someone likes the tiger then they visit the tiger.
The rabbit is green.
@0: The rabbit is red.[(triple1)] The tiger is nice.[(triple2)] @1: The tiger is round.[(((triple2) -> rule4))]