Charlie is not cold. Charlie is not green. Charlie is nice. Charlie is red. Charlie is not smart. Charlie is white. Charlie is young. Gary is cold. Gary is green. Gary is nice. Gary is not red. Gary is white. If Gary is not smart and Gary is not cold then Gary is young. If someone is nice and not white then they are not young. If someone is red then they are young. If someone is young and cold then they are nice. If someone is red then they are nice. If Gary is nice and Gary is smart then Gary is red.
Charlie is white.
@0: Charlie is nice.[(triple3 OR ((triple4) -> rule5))] Charlie is not cold.[(triple1)] Charlie is not green.[(triple2)] Charlie is not smart.[(triple5)] Charlie is red.[(triple4)] Charlie is white.[(triple6)] Charlie is young.[(triple7 OR ((triple4) -> rule3))] Gary is cold.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is not red.[(triple11)] Gary is white.[(triple12)]