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