Bob is blue. Bob is cold. Bob is not green. Bob is quiet. Bob is red. Bob is white. Bob is young. Harry is not blue. Harry is cold. Harry is not green. Harry is not quiet. Harry is not red. Green things are cold. If Harry is white and Harry is quiet then Harry is red. All blue things are quiet. If something is cold then it is not green. If something is red and not blue then it is green. If something is blue and not quiet then it is not young.
Harry is quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not green.[(triple3 OR ((triple2) -> rule4))] Bob is quiet.[(triple4 OR ((triple1) -> rule3))] Bob is red.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Harry is cold.[(triple9)] Harry is not blue.[(triple8)] Harry is not green.[(triple10 OR ((triple9) -> rule4))] Harry is not quiet.[(triple11)] Harry is not red.[(triple12)]