The rabbit is blue. The rabbit is green. The rabbit is nice. If someone is big and nice then they are blue. All blue, big people are young. If the rabbit is green and the rabbit is young then the rabbit is big. All nice, blue people are young. If someone is blue and green then they are young. All young, big people are nice.
The rabbit does not need the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3 OR ((((triple1 triple2) -> rule5) ((triple2 ((triple1 triple2) -> rule5)) -> rule3)) -> rule6))] @1: The rabbit is young.[(((triple1 triple2) -> rule5) OR ((triple3 triple1) -> rule4))] @2: The rabbit is big.[(((triple2 ((triple1 triple2) -> rule5)) -> rule3) OR ((triple2 ((triple3 triple1) -> rule4)) -> rule3))]