Dave is nice. Fiona is quiet. If something is red and cold then it is quiet. If Fiona is quiet and Fiona is blue then Fiona is round. Nice, green things are red. If something is nice then it is not blue. If Dave is not blue then Dave is round. If Dave is red and Dave is not round then Dave is not quiet.
Dave is not cold.
@0: Dave is nice.[(triple1)] Fiona is quiet.[(triple2)] @1: Dave is not blue.[(((triple1) -> rule4))] @2: Dave is round.[(((((triple1) -> rule4)) -> rule5))]