Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is round. Bob is white. Dave is cold. Dave is furry. Dave is round. Dave is white. Fiona is round. Harry is round. Nice, blue people are cold. If Harry is cold and Harry is nice then Harry is white.
Dave is nice.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple4 triple1) -> rule1))] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is round.[(triple9)] Dave is white.[(triple10)] Fiona is round.[(triple11)] Harry is round.[(triple12)]