Even though he's a big dude, Bob is cold. Charlie is both young and fairly round in size. Gary is blue just like his dog. Gary is rough and round enough for the dog to use him as an exercise wheel. A rough person that is cold towards others is green. Rough, round persons are also nice persons. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Young people are rough. A person that is both nice and young will also be cold.
Charlie is nice.
@0: Bob is big.[(triple2)] Bob is cold.[(triple1)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Gary is blue.[(triple7)] Gary is rough.[(triple6)] Gary is round.[(triple5)] @1: Charlie is rough.[(((triple3) -> rule4))] Gary is nice.[(((triple6 triple5) -> rule2))] @2: Charlie is nice.[(((((triple3) -> rule4) triple4) -> rule2))] @3: Charlie is cold.[(((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5))] @4: Charlie is green.[(((((triple3) -> rule4) ((((((triple3) -> rule4) triple4) -> rule2) triple3) -> rule5)) -> rule1))]