Bob is not furry. Bob is white. Dave is not cold. Dave is furry. Dave is green. Dave is round. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is round. Gary is white. If someone is furry and not cold then they are green. If someone is rough and not round then they are green.
Dave is blue.
@0: Bob is not furry.[(triple1)] Bob is white.[(triple2)] Dave is furry.[(triple4)] Dave is green.[(triple5 OR ((triple4 triple3) -> rule1))] Dave is not cold.[(triple3)] Dave is round.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12)]