Bob is cold. Bob is round. Fiona is quiet. Cold people are rough. Quiet people are cold.
Fiona is not smart.
@0: Bob is cold.[(triple1)] Bob is round.[(triple2)] Fiona is quiet.[(triple3)] @1: Bob is rough.[(((triple1) -> rule1))] Fiona is cold.[(((triple3) -> rule2))] @2: Fiona is rough.[(((((triple3) -> rule2)) -> rule1))]