Dave is quiet. Harry is blue. Harry is kind. Quiet things are round. Cold, red things are kind. If Harry is blue and Harry is cold then Harry is kind. All big, kind things are red. If Dave is kind then Dave is big. If Dave is blue and Dave is cold then Dave is kind. If something is red then it is big. All round things are kind.
Harry is not red.
@0: Dave is quiet.[(triple1)] Harry is blue.[(triple2)] Harry is kind.[(triple3)] @1: Dave is round.[(((triple1) -> rule1))] @2: Dave is kind.[(((((triple1) -> rule1)) -> rule8))] @3: Dave is big.[(((((((triple1) -> rule1)) -> rule8)) -> rule5))] @4: Dave is red.[(((((((((triple1) -> rule1)) -> rule8)) -> rule5) ((((triple1) -> rule1)) -> rule8)) -> rule4))]