Dave is quiet. Fiona is red. Harry is smart. If someone is smart then they are quiet. If Fiona is red then Fiona is not round.
Fiona is red.
@0: Dave is quiet.[(triple1)] Fiona is red.[(triple2)] Harry is smart.[(triple3)] @1: Fiona is not round.[(((triple2) -> rule2))] Harry is quiet.[(((triple3) -> rule1))]