Anne is white. Anne is young. Dave is blue. Dave is cold. Dave is smart. Dave is young. Fiona is smart. If Dave is blue and Dave is young then Dave is quiet.
Fiona is white.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6)] Fiona is smart.[(triple7)] @1: Dave is quiet.[(((triple3 triple6) -> rule1))]