The rabbit is big. The rabbit is blue. The rabbit is not cold. The rabbit is kind. The rabbit is round. Round people are big. If someone is blue and cold then they are big. Cold, blue people are round.
The rabbit eats the rabbit.
@0: The rabbit is big.[(triple1 OR ((triple5) -> rule1))] The rabbit is blue.[(triple2)] The rabbit is kind.[(triple4)] The rabbit is not cold.[(triple3)] The rabbit is round.[(triple5)]