Bob is a kind and red colored guy. Red Charlie is what folks call him, because he is quite red. Dave is a big gentleman who is very nice. He is secretly green with envy. Gary ate some rotten meat and now feels green. A big person who is red and nice to others is also young. A nice, big person that is red is usually young. A kind, young person will be rough textured. A quite nice person will certainly be red. Someone who is young and nice is often round. People who are kind and green are very often rough. Rough people who are nice and have green thumbs are almost always young.
Gary is cold.
@0: Bob is kind.[(triple2)] Bob is red.[(triple1)] Charlie is red.[(triple3)] Dave is big.[(triple6)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Gary is green.[(triple7)] @1: Dave is red.[(((triple4) -> rule4))] @2: Dave is young.[(((triple4 ((triple4) -> rule4) triple6) -> rule2) OR ((((triple4) -> rule4) triple4 triple6) -> rule1))] @3: Dave is round.[(((((triple4 ((triple4) -> rule4) triple6) -> rule2) triple4) -> rule5) OR ((((((triple4) -> rule4) triple4 triple6) -> rule1) triple4) -> rule5))]