The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is rough. Green, blue people are rough. If someone is rough and kind then they are nice. If someone is nice then they are rough.
The rabbit is not blue.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4 OR ((triple5 triple3) -> rule2) OR ((((triple2 triple1) -> rule1) triple3) -> rule2))] The rabbit is rough.[(triple5 OR ((triple4) -> rule3) OR ((triple2 triple1) -> rule1))]