Anne is quiet. Bob is quiet. Charlie is cold. Harry is not kind. Quiet people are kind. If someone is round and smart then they are kind. If someone is green then they are round. If someone is smart then they are cold. All kind people are smart. If someone is quiet and not smart then they are young.
Charlie is not round.
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Charlie is cold.[(triple3)] Harry is not kind.[(triple4)] @1: Anne is kind.[(((triple1) -> rule1))] Bob is kind.[(((triple2) -> rule1))] @2: Anne is smart.[(((((triple1) -> rule1)) -> rule5))] Bob is smart.[(((((triple2) -> rule1)) -> rule5))] @3: Anne is cold.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))] Bob is cold.[(((((((triple2) -> rule1)) -> rule5)) -> rule4))]