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