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