Dave is not red. Harry is cold. Big people are quiet. All quiet people are not cold. Cold people are round. Red people are not rough. If someone is cold and big then they are rough. Round people are red. If someone is rough and not round then they are red. If Dave is cold and Dave is red then Dave is nice.
Dave is not round.
@0: Dave is not red.[(triple1)] Harry is cold.[(triple2)] @1: Harry is round.[(((triple2) -> rule3))] @2: Harry is red.[(((((triple2) -> rule3)) -> rule6))] @3: Harry is not rough.[(((((((triple2) -> rule3)) -> rule6)) -> rule4))]