Anne is kind. Anne is quiet. Anne is smart. Anne is white. Anne is young. Bob is young. Gary is kind. Gary is white. Harry is cold. Harry is quiet. Harry is smart. Harry is white. Furry, quiet people are young. All furry people are cold. If someone is kind and smart then they are furry.
Gary is not young.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((((triple1 triple3) -> rule3) triple2) -> rule1))] Bob is young.[(triple6)] Gary is kind.[(triple7)] Gary is white.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Anne is furry.[(((triple1 triple3) -> rule3))] @2: Anne is cold.[(((((triple1 triple3) -> rule3)) -> rule2))]