The rabbit is big. The rabbit is green. The rabbit is not rough. If the rabbit is green then the rabbit is big. If someone is rough then they are not blue. If the rabbit is blue then the rabbit is green. If the rabbit is rough then the rabbit is not green. All rough people are green. Rough people are big. If someone is rough and not green then they are not big. Big, green people are not kind.
The rabbit is blue.
@0: The rabbit is big.[(triple1 OR ((triple2) -> rule1))] The rabbit is green.[(triple2)] The rabbit is not rough.[(triple3)] @1: The rabbit is not kind.[(((triple1 triple2) -> rule8) OR ((((triple2) -> rule1) triple2) -> rule8))]