Bob is red. Bob is round. Fiona is cold. If Bob is quiet then Bob is blue. If something is round then it is quiet.
Fiona is not round.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Fiona is cold.[(triple3)] @1: Bob is quiet.[(((triple2) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule1))]