The rabbit is nice. If something is blue and nice then it is not green. Red things are green. If something is green and nice then it is big. If something is green and nice then it is big. All nice things are big. Red, nice things are big. If the rabbit is green then the rabbit is nice. If something is big then it is blue.
The rabbit is green.
@0: The rabbit is nice.[(triple1)] @1: The rabbit is big.[(((triple1) -> rule5))] @2: The rabbit is blue.[(((((triple1) -> rule5)) -> rule8))] @3: The rabbit is not green.[(((((((triple1) -> rule5)) -> rule8) triple1) -> rule1))]