The rabbit is blue. Green things are big. If the rabbit is blue and the rabbit is green then the rabbit is big. If the rabbit is blue then the rabbit is not big. All big things are blue. Big, green things are blue. If the rabbit is round then the rabbit is cold.
The rabbit is big.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is not big.[(((triple1) -> rule3))]