Charlie is rough. Dave is quiet. All rough things are big. All quiet things are big. If something is furry and not rough then it is cold. All quiet, red things are furry. All big things are red. If something is furry and not rough then it is not red. All cold things are red. All red things are quiet.
Dave is not big.
@0: Charlie is rough.[(triple1)] Dave is quiet.[(triple2)] @1: Charlie is big.[(((triple1) -> rule1))] Dave is big.[(((triple2) -> rule2))] @2: Charlie is red.[(((((triple1) -> rule1)) -> rule5))] Dave is red.[(((((triple2) -> rule2)) -> rule5))] @3: Charlie is quiet.[(((((((triple1) -> rule1)) -> rule5)) -> rule8))] Dave is furry.[(((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule4))] @4: Charlie is furry.[(((((((((triple1) -> rule1)) -> rule5)) -> rule8) ((((triple1) -> rule1)) -> rule5)) -> rule4))]