Alan is very big for being so young. Dave is very big for being so young. Eric fits the description of round and rough while also being red and cold. Gary is a very young and nice person. Gary's hair is red with a rough texture. When people are still young, the blue and round ones will also be a bit red. A young person who has been out in the cold with rough skin is also blue. Anyone you can describe as big and rough can also be described as red. A rough person will also be a cold person. Nice blue people are usually round in shape.
Gary is cold.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple4)] Dave is young.[(triple3)] Eric is cold.[(triple8 OR ((triple6) -> rule4))] Eric is red.[(triple7)] Eric is rough.[(triple6)] Eric is round.[(triple5)] Gary is nice.[(triple12)] Gary is red.[(triple11 OR ((((triple10 ((triple10) -> rule4) triple9) -> rule2) ((triple12 ((triple10 ((triple10) -> rule4) triple9) -> rule2)) -> rule5) triple9) -> rule1))] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Gary is cold.[(((triple10) -> rule4))] @2: Gary is blue.[(((triple10 ((triple10) -> rule4) triple9) -> rule2))] @3: Gary is round.[(((triple12 ((triple10 ((triple10) -> rule4) triple9) -> rule2)) -> rule5))]