Bob is blue. Bob is cold. Bob is furry. Bob is not green. Bob is nice. Bob is quiet. Bob is round. Dave is cold. Dave is furry. Dave is not green. Dave is quiet. Dave is round. Erin is not blue. Erin is not furry. Erin is quiet. Erin is round. If someone is furry then they are cold.
Dave is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule1))] Bob is furry.[(triple3)] Bob is nice.[(triple5)] Bob is not green.[(triple4)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Dave is cold.[(triple8 OR ((triple9) -> rule1))] Dave is furry.[(triple9)] Dave is not green.[(triple10)] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Erin is not blue.[(triple13)] Erin is not furry.[(triple14)] Erin is quiet.[(triple15)] Erin is round.[(triple16)]