Bob is cold. Dave is young. Harry is quiet. Young people are cold. If Dave is white and Dave is smart then Dave is young. If someone is quiet then they are blue. If Bob is cold and Bob is blue then Bob is young. If Harry is quiet and Harry is smart then Harry is rough. All blue, smart people are quiet. White, young people are smart. If someone is cold then they are quiet.
Harry is not white.
@0: Bob is cold.[(triple1)] Dave is young.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule8))] Dave is cold.[(((triple2) -> rule1))] Harry is blue.[(((triple3) -> rule3))] @2: Bob is blue.[(((((triple1) -> rule8)) -> rule3))] Dave is quiet.[(((((triple2) -> rule1)) -> rule8))] @3: Bob is young.[(((triple1 ((((triple1) -> rule8)) -> rule3)) -> rule4))] Dave is blue.[(((((((triple2) -> rule1)) -> rule8)) -> rule3))]