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