Charlie is quiet. Dave is white. Fiona is not nice. Harry is nice. Quiet things are round.
Fiona is not cold.
@0: Charlie is quiet.[(triple1)] Dave is white.[(triple2)] Fiona is not nice.[(triple3)] Harry is nice.[(triple4)] @1: Charlie is round.[(((triple1) -> rule1))]