The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is rough. The rabbit is young. If the rabbit is blue and the rabbit is big then the rabbit is rough.
The rabbit is cold.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is rough.[(triple4 OR ((triple2 triple1) -> rule1))] The rabbit is young.[(triple5)]