The rabbit is rough. If the rabbit is cold then the rabbit is not big. If someone is cold then they are round. If someone is rough then they are cold. If the rabbit is red then the rabbit is round. Round, rough people are red. If someone is rough and not cold then they are red. If someone is rough and not red then they are not big. Red, round people are not big.
The rabbit is not cold.
@0: The rabbit is rough.[(triple1)] @1: The rabbit is cold.[(((triple1) -> rule3))] @2: The rabbit is not big.[(((((triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule3)) -> rule2) triple1) -> rule5) ((((triple1) -> rule3)) -> rule2)) -> rule8))] The rabbit is round.[(((((triple1) -> rule3)) -> rule2))] @3: The rabbit is red.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule5))]