Anne is red. Dave is kind. If Dave is young and Dave is quiet then Dave is kind. If something is quiet then it is not big. Young, kind things are big. All cold, quiet things are blue. Red things are young. Young things are not quiet.
Anne is not red.
@0: Anne is red.[(triple1)] Dave is kind.[(triple2)] @1: Anne is young.[(((triple1) -> rule5))] @2: Anne is not quiet.[(((((triple1) -> rule5)) -> rule6))]