Anne is quiet. Bob is smart. Charlie is young. Fiona is young. All young things are white. If something is rough then it is young. White things are quiet. Nice, smart things are rough. Quiet things are smart. If Charlie is rough then Charlie is furry.
Anne is not smart.
@0: Anne is quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is young.[(triple3)] Fiona is young.[(triple4)] @1: Anne is smart.[(((triple1) -> rule5))] Charlie is white.[(((triple3) -> rule1))] Fiona is white.[(((triple4) -> rule1))] @2: Charlie is quiet.[(((((triple3) -> rule1)) -> rule3))] Fiona is quiet.[(((((triple4) -> rule1)) -> rule3))] @3: Charlie is smart.[(((((((triple3) -> rule1)) -> rule3)) -> rule5))] Fiona is smart.[(((((((triple4) -> rule1)) -> rule3)) -> rule5))]