The rabbit is kind. All big, round people are cold. If someone is red and not kind then they are cold. If someone is kind and big then they are red. All red people are round. If the rabbit is cold then the rabbit is round. If the rabbit is kind then the rabbit is red. If the rabbit is round and the rabbit is kind then the rabbit is cold. If someone is round and not kind then they are not big.
The rabbit is red.
@0: The rabbit is kind.[(triple1)] @1: The rabbit is red.[(((triple1) -> rule6))] @2: The rabbit is round.[(((((triple1) -> rule6)) -> rule4))] @3: The rabbit is cold.[(((((((triple1) -> rule6)) -> rule4) triple1) -> rule7))]