Bob is smart. Dave is smart. Fiona is not quiet. All quiet people are cold. Smart, young people are cold. If Bob is smart then Bob is quiet.
Fiona is cold.
@0: Bob is smart.[(triple1)] Dave is smart.[(triple2)] Fiona is not quiet.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule3))] @2: Bob is cold.[(((((triple1) -> rule3)) -> rule1))]