The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. Green, round people are rough. All green, round people are kind. Red, kind people are green.
The rabbit is not green.
@0: The rabbit is green.[(triple1 OR ((triple3 triple2) -> rule3))] The rabbit is kind.[(triple2 OR ((triple1 triple5) -> rule2))] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4 OR ((triple1 triple5) -> rule1) OR ((((triple3 triple2) -> rule3) triple5) -> rule1))] The rabbit is round.[(triple5)]