Bob is quiet. Charlie is not cold. Fiona is blue. Gary is not kind. Blue people are quiet.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] Charlie is not cold.[(triple2)] Fiona is blue.[(triple3)] Gary is not kind.[(triple4)] @1: Fiona is quiet.[(((triple3) -> rule1))]