Alan is green and cold too. Young Charlie has a round form, believes in green and is rough. Dave is kind and nice and looks green. Eric seems big and rough, but he's actually quite kind. A rather big person is a red person. Truth be told, every big, rough person out there that is green, will also be colored blue. Rough, cold people are blue. Big people with red hair are cold because they cannot find coats that fit. An individual with the traits of being nice, red, and cold is also round. Someone who is young at heart and age are very round. A young aged and big blue person will definitely be cold.
Charlie is not kind.
@0: Alan is cold.[(triple2)] Alan is green.[(triple1)] Charlie is green.[(triple6)] Charlie is rough.[(triple5)] Charlie is round.[(triple4 OR ((triple3) -> rule6))] Charlie is young.[(triple3)] Dave is green.[(triple9)] Dave is kind.[(triple8)] Dave is nice.[(triple7)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is rough.[(triple10)] @1: Eric is red.[(((triple12) -> rule1))] @2: Eric is cold.[(((((triple12) -> rule1) triple12) -> rule4))] @3: Eric is blue.[(((triple10 ((((triple12) -> rule1) triple12) -> rule4)) -> rule3))]