Anne is furry. Bob is young. Gary is quiet. Harry is cold. If Gary is cold and Gary is green then Gary is smart. Furry things are quiet. Young things are furry. All furry, quiet things are young. If something is cold and furry then it is quiet. If something is smart then it is furry. All quiet, furry things are nice. All green things are young.
Harry is not green.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Gary is quiet.[(triple3)] Harry is cold.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule2))] Bob is furry.[(((triple2) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule2) triple1) -> rule7))] Anne is young.[(((triple1 ((triple1) -> rule2)) -> rule4))] Bob is quiet.[(((((triple2) -> rule3)) -> rule2))] @3: Bob is nice.[(((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule7))]