Bob is quiet. Quiet people are smart. All rough, young people are not smart. All green, smart people are young. If someone is cold and not quiet then they are green. If someone is smart then they are green. If Bob is green then Bob is young.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] @1: Bob is smart.[(((triple1) -> rule1))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule5))] @3: Bob is young.[(((((((triple1) -> rule1)) -> rule5)) -> rule6) OR ((((((triple1) -> rule1)) -> rule5) ((triple1) -> rule1)) -> rule3))]