The rabbit is cold. The rabbit is red. The rabbit is young. Nice people are young. All red people are young. All cold, nice people are young. All red people are young. All red, green people are young. Nice people are not green. All young, red people are nice. If someone is nice then they are red.
The rabbit is not young.
@0: The rabbit is cold.[(triple1)] The rabbit is red.[(triple2)] The rabbit is young.[(triple3 OR ((triple2) -> rule2) OR ((triple2) -> rule4))] @1: The rabbit is nice.[(((triple3 triple2) -> rule7) OR ((((triple2) -> rule2) triple2) -> rule7) OR ((((triple2) -> rule4) triple2) -> rule7))] @2: The rabbit is not green.[(((((triple3 triple2) -> rule7)) -> rule6) OR ((((((triple2) -> rule2) triple2) -> rule7)) -> rule6) OR ((((((triple2) -> rule4) triple2) -> rule7)) -> rule6))]