Anne is white. Dave is not kind. Erin is quiet. Harry is big. White things are blue.
Dave is round.
@0: Anne is white.[(triple1)] Dave is not kind.[(triple2)] Erin is quiet.[(triple3)] Harry is big.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))]