Bob is cold. Bob is furry. Bob is quiet. Charlie is blue. Charlie is quiet. Charlie is white. Dave is not blue. Dave is cold. Dave is quiet. Dave is smart. Harry is not furry. Harry is smart. If Charlie is furry then Charlie is cold. Furry things are white. Young, smart things are white. If something is cold and not furry then it is not white. If something is smart then it is cold. Furry, cold things are young. If Dave is smart and Dave is furry then Dave is not cold. If something is white and not cold then it is not blue.
Dave is not blue.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is quiet.[(triple3)] Charlie is blue.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple8 OR ((triple10) -> rule5))] Dave is not blue.[(triple7)] Dave is quiet.[(triple9)] Dave is smart.[(triple10)] Harry is not furry.[(triple11)] Harry is smart.[(triple12)] @1: Bob is white.[(((triple2) -> rule2))] Bob is young.[(((triple2 triple1) -> rule6))] Harry is cold.[(((triple12) -> rule5))] @2: Harry is not white.[(((((triple12) -> rule5) triple11) -> rule4))]