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