Charlie is cold. Charlie is round. Charlie is smart. Charlie is young. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is round. Gary is smart. If someone is cold and round then they are blue. If Gary is furry and Gary is green then Gary is young.
Charlie is not round.
@0: Charlie is cold.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Gary is blue.[(triple5 OR ((triple6 triple9) -> rule1))] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10)] @1: Charlie is blue.[(((triple1 triple2) -> rule1))] Gary is young.[(((triple7 triple8) -> rule2))]