Anne is kind. Dave is blue. Dave is rough. Dave is white. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. Harry is red. Harry is white. All blue people are young. If someone is red and blue then they are kind.
Fiona is quiet.
@0: Anne is kind.[(triple1)] Dave is blue.[(triple2)] Dave is rough.[(triple3)] Dave is white.[(triple4)] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] Fiona is young.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Dave is young.[(((triple2) -> rule1))]