Big Dave is cold but kind and always green. Eric ate some rotten meat and now feels green. Young Fred is round from too much candy.  He is feeling cold even though he's red from being in the sun too long. Harry is big and tends to wear red shirts. A big person who is green and cold has red skin. A person who's big and kind will also be cold. A red colored person who is kind and feels cold is usually considered nice. A blue colored, nice but rough person is definitely young too. Round, nice and young folks around here are always green. Don't be surprised to hear that all nice, kind folks are in fact rough. A rough and round shaped person will be nice and also young.
Dave is nice.
@0: Dave is big.[(triple4)] Dave is cold.[(triple3 OR ((triple4 triple1) -> rule2))] Dave is green.[(triple2)] Dave is kind.[(triple1)] Eric is green.[(triple5)] Fred is cold.[(triple9)] Fred is red.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Harry is big.[(triple11)] Harry is red.[(triple10)] @1: Dave is red.[(((triple4 triple2 triple3) -> rule1) OR ((triple4 triple2 ((triple4 triple1) -> rule2)) -> rule1))] @2: Dave is nice.[(((((triple4 triple2 triple3) -> rule1) triple1 triple3) -> rule3) OR ((((triple4 triple2 triple3) -> rule1) triple1 ((triple4 triple1) -> rule2)) -> rule3) OR ((((triple4 triple2 ((triple4 triple1) -> rule2)) -> rule1) triple1 triple3) -> rule3) OR ((((triple4 triple2 ((triple4 triple1) -> rule2)) -> rule1) triple1 ((triple4 triple1) -> rule2)) -> rule3))] @3: Dave is rough.[(((((((triple4 triple2 triple3) -> rule1) triple1 triple3) -> rule3) triple1) -> rule6) OR ((((((triple4 triple2 triple3) -> rule1) triple1 ((triple4 triple1) -> rule2)) -> rule3) triple1) -> rule6) OR ((((((triple4 triple2 ((triple4 triple1) -> rule2)) -> rule1) triple1 triple3) -> rule3) triple1) -> rule6) OR ((((((triple4 triple2 ((triple4 triple1) -> rule2)) -> rule1) triple1 ((triple4 triple1) -> rule2)) -> rule3) triple1) -> rule6))]