The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is round. The rabbit is young. All nice, green people are round. All blue, round people are green.
The rabbit is not nice.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2 OR ((triple1 triple4) -> rule2))] The rabbit is nice.[(triple3)] The rabbit is round.[(triple4 OR ((triple3 triple2) -> rule1))] The rabbit is young.[(triple5)]