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