Dave is white. If Dave is furry and Dave is big then Dave is round. If Dave is cold then Dave is round. White people are cold. Cold people are blue. If someone is furry and round then they are big. All cold, round people are smart.
Dave is not big.
@0: Dave is white.[(triple1)] @1: Dave is cold.[(((triple1) -> rule3))] @2: Dave is blue.[(((((triple1) -> rule3)) -> rule4))] Dave is round.[(((((triple1) -> rule3)) -> rule2))] @3: Dave is smart.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule2)) -> rule6))]