Anne is round. Dave is smart. Gary is blue. If something is round then it is smart. If something is round then it is not rough. Round, smart things are not furry. If Anne is cold and Anne is blue then Anne is not round. If Dave is furry and Dave is cold then Dave is rough. If Dave is quiet then Dave is blue.
Gary is blue.
@0: Anne is round.[(triple1)] Dave is smart.[(triple2)] Gary is blue.[(triple3)] @1: Anne is not rough.[(((triple1) -> rule2))] Anne is smart.[(((triple1) -> rule1))] @2: Anne is not furry.[(((triple1 ((triple1) -> rule1)) -> rule3))]