The rabbit is big. The rabbit is green. The rabbit is round. All big, green things are cold.
The rabbit does not see the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit is cold.[(((triple1 triple2) -> rule1))]