Dave is cold. If something is kind then it is quiet. All furry things are big. All cold things are big. Quiet things are not furry. If Dave is big then Dave is blue. If something is big then it is kind.
Dave is not big.
@0: Dave is cold.[(triple1)] @1: Dave is big.[(((triple1) -> rule3))] @2: Dave is blue.[(((((triple1) -> rule3)) -> rule5))] Dave is kind.[(((((triple1) -> rule3)) -> rule6))] @3: Dave is quiet.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))] @4: Dave is not furry.[(((((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule4))]