Anne is young. Charlie is quiet. Harry is rough. Young, cold people are nice. If someone is rough then they are nice. If someone is nice then they are cold. All smart, rough people are quiet. Young, quiet people are furry. If someone is furry and not cold then they are smart. If someone is cold and not young then they are smart. If someone is quiet and not young then they are not smart.
Harry is not cold.
@0: Anne is young.[(triple1)] Charlie is quiet.[(triple2)] Harry is rough.[(triple3)] @1: Harry is nice.[(((triple3) -> rule2))] @2: Harry is cold.[(((((triple3) -> rule2)) -> rule3))]