Anne is nice. Bob is blue. Bob is nice. Dave is blue. Dave is rough. Gary is rough. Gary is young. If Gary is young then Gary is cold. All kind, young people are rough. Smart, blue people are rough. If Gary is blue then Gary is cold. If Gary is kind and Gary is young then Gary is smart. All smart people are nice. If someone is young then they are cold. Kind, cold people are young.
Gary is young.
@0: Anne is nice.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Dave is blue.[(triple4)] Dave is rough.[(triple5)] Gary is rough.[(triple6)] Gary is young.[(triple7)] @1: Gary is cold.[(((triple7) -> rule1) OR ((triple7) -> rule7))]