Anne is nice. Anne is smart. Dave is big. Dave is cold. Gary is green. Gary is quiet. Gary is white. If something is quiet then it is smart. Smart things are nice. If Anne is white and Anne is nice then Anne is cold.
Gary is not quiet.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule2))] Anne is smart.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Gary is white.[(triple7)] @1: Gary is smart.[(((triple6) -> rule1))] @2: Gary is nice.[(((((triple6) -> rule1)) -> rule2))]