Anne is not smart. Charlie is quiet. Charlie is young. Gary is kind. Gary is round. Gary is smart. Gary is young. Quiet people are young. Quiet, round people are not smart. If someone is quiet then they are rough. If someone is smart then they are round. All rough people are round. If someone is rough and not young then they are cold. If someone is young and not quiet then they are kind. If someone is quiet and not young then they are kind.
Anne is not cold.
@0: Anne is not smart.[(triple1)] Charlie is quiet.[(triple2)] Charlie is young.[(triple3 OR ((triple2) -> rule1))] Gary is kind.[(triple4)] Gary is round.[(triple5 OR ((triple6) -> rule4))] Gary is smart.[(triple6)] Gary is young.[(triple7)] @1: Charlie is rough.[(((triple2) -> rule3))] @2: Charlie is round.[(((((triple2) -> rule3)) -> rule5))] @3: Charlie is not smart.[(((triple2 ((((triple2) -> rule3)) -> rule5)) -> rule2))]