Anne is not cold. Bob is red. Harry is quiet. Quiet, nice things are young. If something is red then it is not round. If Bob is cold then Bob is not white. If Anne is quiet and Anne is cold then Anne is nice. If something is young then it is nice. All white, red things are nice.
Bob is not nice.
@0: Anne is not cold.[(triple1)] Bob is red.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is not round.[(((triple2) -> rule2))]