Charlie is blue. Charlie is not cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. All green, kind things are round. If something is cold then it is not rough.
Charlie is not blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5)] Charlie is not cold.[(triple2)] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple4 triple5) -> rule1))]