The rabbit is big. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. Round, red things are nice. Nice things are red. If something is big and round then it is young.
The rabbit likes the rabbit.
@0: The rabbit is big.[(triple1)] The rabbit is nice.[(triple2 OR ((triple4 triple3) -> rule1))] The rabbit is red.[(triple3 OR ((triple2) -> rule2))] The rabbit is round.[(triple4)] The rabbit is young.[(triple5 OR ((triple1 triple4) -> rule3))]