Charlie is cold. Charlie is nice. Charlie is young. Rough people are young. If someone is nice then they are blue. If Charlie is furry and Charlie is cold then Charlie is nice. If someone is furry and rough then they are nice. All cold people are young. All white, cold people are nice.
Charlie is nice.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3 OR ((triple1) -> rule5))] @1: Charlie is blue.[(((triple2) -> rule2))]