Anne is young. Dave is white. Erin is white. Erin is young. Harry is kind. Harry is quiet. Harry is round. All round things are white.
Harry is not round.
@0: Anne is young.[(triple1)] Dave is white.[(triple2)] Erin is white.[(triple3)] Erin is young.[(triple4)] Harry is kind.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is white.[(((triple7) -> rule1))]