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