Bob is blue. Bob is green. Bob is quiet. Dave is white. Fiona is not blue. Fiona is round. Gary is furry. If something is round then it is furry. If something is round and not quiet then it is not green.
Dave is blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Dave is white.[(triple4)] Fiona is not blue.[(triple5)] Fiona is round.[(triple6)] Gary is furry.[(triple7)] @1: Fiona is furry.[(((triple6) -> rule1))]