The young person who is always feeling cold is named Bob. Charlie is nice and kind,though he's also rather cold. Gary is green and cold too. Some cold people can be nice at times,and red at at other times. An individual with the traits of being nice, red, and cold is also round. Kind red and round people often look green. Nice and green people are often found to be big as well. If a person is blue and red and big, then that person is cold.
Gary is big.
@0: Bob is cold.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Gary is cold.[(triple7)] Gary is green.[(triple6)] @1: Charlie is red.[(((triple5 triple3) -> rule1))] @2: Charlie is round.[(((triple3 ((triple5 triple3) -> rule1) triple5) -> rule2))] @3: Charlie is green.[(((((triple5 triple3) -> rule1) triple4 ((triple3 ((triple5 triple3) -> rule1) triple5) -> rule2)) -> rule3))] @4: Charlie is big.[(((triple3 ((((triple5 triple3) -> rule1) triple4 ((triple3 ((triple5 triple3) -> rule1) triple5) -> rule2)) -> rule3)) -> rule4))]