Bob is green. Fiona is cold. Round things are red. Young, big things are green. All green things are round.
Fiona is not red.
@0: Bob is green.[(triple1)] Fiona is cold.[(triple2)] @1: Bob is round.[(((triple1) -> rule3))] @2: Bob is red.[(((((triple1) -> rule3)) -> rule1))]