Charlie is white. Dave is cold. All quiet things are cold. If Charlie is rough then Charlie is green. If something is round and rough then it is quiet. If Dave is cold and Dave is white then Dave is round. If something is white then it is quiet. If something is quiet then it is round.
Dave is not cold.
@0: Charlie is white.[(triple1)] Dave is cold.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule5))] @2: Charlie is cold.[(((((triple1) -> rule5)) -> rule1))] Charlie is round.[(((((triple1) -> rule5)) -> rule6))]