Alan seems to be round. Charlie seems to be round. Dave is red and blue colored. He is cold to the touch, big and rough. The young person who is always feeling cold is named Eric. A big, rough person who is green in color is definitely young aged. Big people with red hair are cold because they cannot find coats that fit. Someone who is young at heart and age are very round. If someone shows that they are red, then they are also showing that they are green. When somebody is red, blue and round, you can bet they are also rough. People who are round and green while being cold are also red.
Dave is round.
@0: Alan is round.[(triple1)] Charlie is round.[(triple2)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is cold.[(triple5 OR ((triple4 triple7) -> rule2))] Dave is red.[(triple4)] Dave is rough.[(triple3)] Eric is cold.[(triple9)] Eric is young.[(triple8)] @1: Dave is green.[(((triple4) -> rule4))] Eric is round.[(((triple8) -> rule3))] @2: Dave is young.[(((triple7 ((triple4) -> rule4) triple3) -> rule1))] @3: Dave is round.[(((((triple7 ((triple4) -> rule4) triple3) -> rule1)) -> rule3))]