Anne is green. Anne is quiet. Bob is quiet. Bob is round. Bob is smart. Gary is cold. Harry is nice. If someone is nice then they are not round.
Gary is not big.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Gary is cold.[(triple6)] Harry is nice.[(triple7)] @1: Harry is not round.[(((triple7) -> rule1))]