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