The rabbit is cold. The rabbit is green. The rabbit is nice. All green, red people are big. If someone is cold and big then they are green. All big people are not green. Red people are green. If the rabbit is cold and the rabbit is big then the rabbit is not nice. Cold, big people are not nice. If someone is big then they are not nice. All green, big people are not red.
The rabbit visits the rabbit.
@0: The rabbit is cold.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)]