Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Harry is blue. Harry is cold. Harry is red. If Harry is kind then Harry is red. Red, kind people are cold.
Harry is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple6 triple4) -> rule2))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is red.[(triple10)]