Bob is blue. Bob is cold. Bob is quiet. Bob is red. Bob is white. Charlie is blue. Gary is blue. Gary is cold. Gary is green. Gary is white. Harry is blue. Harry is quiet. Quiet things are not green. Red things are kind. Blue things are white. All white things are red. If Charlie is kind and Charlie is cold then Charlie is not white. If Gary is blue and Gary is not kind then Gary is green.
Harry is red.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple5) -> rule4) OR ((((triple1) -> rule3)) -> rule4))] Bob is white.[(triple5 OR ((triple1) -> rule3))] Charlie is blue.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is white.[(triple10 OR ((triple7) -> rule3))] Harry is blue.[(triple11)] Harry is quiet.[(triple12)] @1: Bob is kind.[(((triple4) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((((triple1) -> rule3)) -> rule4)) -> rule2))] Bob is not green.[(((triple3) -> rule1))] Charlie is white.[(((triple6) -> rule3))] Gary is red.[(((triple10) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] Harry is not green.[(((triple12) -> rule1))] Harry is white.[(((triple11) -> rule3))] @2: Charlie is red.[(((((triple6) -> rule3)) -> rule4))] Gary is kind.[(((((triple10) -> rule4)) -> rule2) OR ((((((triple7) -> rule3)) -> rule4)) -> rule2))] Harry is red.[(((((triple11) -> rule3)) -> rule4))] @3: Charlie is kind.[(((((((triple6) -> rule3)) -> rule4)) -> rule2))] Harry is kind.[(((((((triple11) -> rule3)) -> rule4)) -> rule2))]