Bob is smart. Charlie is quiet. Erin is smart. Harry is nice. All nice things are smart. If something is smart and nice then it is green.
Harry is not green.
@0: Bob is smart.[(triple1)] Charlie is quiet.[(triple2)] Erin is smart.[(triple3)] Harry is nice.[(triple4)] @1: Harry is smart.[(((triple4) -> rule1))] @2: Harry is green.[(((((triple4) -> rule1) triple4) -> rule2))]