Bob is cold. Dave is round. Fiona is smart. Smart things are round. All quiet, big things are cold. If something is cold and round then it is big. If Bob is big and Bob is round then Bob is young. All round things are cold. Quiet things are young.
Dave is not young.
@0: Bob is cold.[(triple1)] Dave is round.[(triple2)] Fiona is smart.[(triple3)] @1: Dave is cold.[(((triple2) -> rule5))] Fiona is round.[(((triple3) -> rule1))] @2: Dave is big.[(((((triple2) -> rule5) triple2) -> rule3))] Fiona is cold.[(((((triple3) -> rule1)) -> rule5))] @3: Fiona is big.[(((((((triple3) -> rule1)) -> rule5) ((triple3) -> rule1)) -> rule3))]