Bob is quiet. Bob is smart. Erin is big. Erin is young. Fiona is young. Harry is blue. Harry is smart. If someone is quiet then they are blue. All blue, quiet people are big.
Erin is smart.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2)] Erin is big.[(triple3)] Erin is young.[(triple4)] Fiona is young.[(triple5)] Harry is blue.[(triple6)] Harry is smart.[(triple7)] @1: Bob is blue.[(((triple1) -> rule1))] @2: Bob is big.[(((((triple1) -> rule1) triple1) -> rule2))]