Bob is cold. Bob is furry. Bob is round. Bob is white. Dave is blue. Dave is not cold. Dave is green. Dave is quiet. Dave is round. Dave is white. Erin is furry. Erin is green. Erin is round. Gary is cold. Gary is not furry. All blue things are quiet.
Bob is not furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Dave is blue.[(triple5)] Dave is green.[(triple7)] Dave is not cold.[(triple6)] Dave is quiet.[(triple8 OR ((triple5) -> rule1))] Dave is round.[(triple9)] Dave is white.[(triple10)] Erin is furry.[(triple11)] Erin is green.[(triple12)] Erin is round.[(triple13)] Gary is cold.[(triple14)] Gary is not furry.[(triple15)]