The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is round. If the rabbit is green and the rabbit is blue then the rabbit is red.
The rabbit does not visit the rabbit.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4 OR ((triple2 triple1) -> rule1))] The rabbit is round.[(triple5)]