Anne is round. Dave is nice. Gary is white. Harry is cold. Cold things are white. If something is white and not big then it is round. If Dave is not big then Dave is quiet. All big things are nice. If something is quiet and cold then it is nice. If Dave is cold then Dave is round. Round things are cold. If Anne is white then Anne is nice.
Dave is not cold.
@0: Anne is round.[(triple1)] Dave is nice.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)] @1: Anne is cold.[(((triple1) -> rule7))] Harry is white.[(((triple4) -> rule1))] @2: Anne is white.[(((((triple1) -> rule7)) -> rule1))] @3: Anne is nice.[(((((((triple1) -> rule7)) -> rule1)) -> rule8))]