Bob is blue. Bob is not round. Charlie is not round. Charlie is not smart. Charlie is young. Dave is red. Dave is smart. Gary is blue. Gary is round. Gary is young. Smart things are red. All blue, young things are not red. Round things are kind. If something is kind and not smart then it is cold. If something is smart and not kind then it is cold. If something is kind and not red then it is cold.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is not round.[(triple2)] Charlie is not round.[(triple3)] Charlie is not smart.[(triple4)] Charlie is young.[(triple5)] Dave is red.[(triple6 OR ((triple7) -> rule1))] Dave is smart.[(triple7)] Gary is blue.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Gary is kind.[(((triple9) -> rule3))] Gary is not red.[(((triple8 triple10) -> rule2))] @2: Gary is cold.[(((((triple9) -> rule3) ((triple8 triple10) -> rule2)) -> rule6))]