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