Anne is blue. Anne is nice. Anne is white. Anne is young. Dave is blue. Dave is round. Dave is white. Erin is round. Harry is nice. Harry is white. If something is young then it is red.
Dave is white.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Dave is blue.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)] Erin is round.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Anne is red.[(((triple4) -> rule1))]