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 big.
@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))]