The rabbit is big. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit is young. If something is young and green then it is rough.
The rabbit needs the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is green.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4 OR ((triple5 triple2) -> rule1))] The rabbit is young.[(triple5)]