The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is young. If someone is green and blue then they are nice.
The rabbit is blue.
@0: The rabbit is blue.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3 OR ((triple2 triple1) -> rule1))] The rabbit is rough.[(triple4)] The rabbit is young.[(triple5)]