Dave is cold. Dave is furry. Dave is white. If Dave is cold then Dave is quiet. Quiet things are not rough. If Dave is round and Dave is quiet then Dave is young. If something is round then it is young. All quiet things are round. If something is young and not quiet then it is not furry. Cold, young things are white. If something is furry and not rough then it is white.
Dave is quiet.
@0: Dave is cold.[(triple1)] Dave is furry.[(triple2)] Dave is white.[(triple3 OR ((triple2 ((((triple1) -> rule1)) -> rule2)) -> rule8) OR ((triple1 ((((((triple1) -> rule1)) -> rule5)) -> rule4)) -> rule7) OR ((triple1 ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule3)) -> rule7))] @1: Dave is quiet.[(((triple1) -> rule1))] @2: Dave is not rough.[(((((triple1) -> rule1)) -> rule2))] Dave is round.[(((((triple1) -> rule1)) -> rule5))] @3: Dave is young.[(((((((triple1) -> rule1)) -> rule5)) -> rule4) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule3))]