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.
Dave is not round.
@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))]