The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is round. Cold, big things are round. If something is kind and round then it is big.
The rabbit visits the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple4 triple5) -> rule2))] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is round.[(triple5 OR ((triple3 triple1) -> rule1))]