Bob is nice. Harry is young. All nice, big people are young. All kind, nice people are cold. All young, big people are nice. Red people are cold. If someone is young then they are big. All nice, young people are kind.
Bob is not furry.
@0: Bob is nice.[(triple1)] Harry is young.[(triple2)] @1: Harry is big.[(((triple2) -> rule5))] @2: Harry is nice.[(((triple2 ((triple2) -> rule5)) -> rule3))] @3: Harry is kind.[(((((triple2 ((triple2) -> rule5)) -> rule3) triple2) -> rule6))] @4: Harry is cold.[(((((((triple2 ((triple2) -> rule5)) -> rule3) triple2) -> rule6) ((triple2 ((triple2) -> rule5)) -> rule3)) -> rule2))]