Anne is cold. Bob is quiet. Bob is rough. Charlie is nice. Charlie is not rough. Charlie is not young. Gary is young. If something is young then it is round. All round things are not rough. If something is young and not rough then it is not smart.
Bob is smart.
@0: Anne is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Charlie is nice.[(triple4)] Charlie is not rough.[(triple5)] Charlie is not young.[(triple6)] Gary is young.[(triple7)] @1: Gary is round.[(((triple7) -> rule1))] @2: Gary is not rough.[(((((triple7) -> rule1)) -> rule2))] @3: Gary is not smart.[(((triple7 ((((triple7) -> rule1)) -> rule2)) -> rule3))]