Anne is blue. Anne is quiet. Bob is quiet. Bob is not white. Bob is young. Dave is blue. Fiona is not nice. If Anne is white then Anne is not quiet. If something is quiet then it is blue.
Fiona is not blue.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule2))] Anne is quiet.[(triple2)] Bob is not white.[(triple4)] Bob is quiet.[(triple3)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Fiona is not nice.[(triple7)] @1: Bob is blue.[(((triple3) -> rule2))]