Charlie ate some rotten meat and now feels green. Dave is colored blue and red. He is also kind and cold to the touch. Being young, Fred is still green and blue. Gary is sometimes cold and blue, but he can also be kind and big. A kind, round person will surely be red as well. People who are rough, round in shape, and big in stature are usuallu blue in color. There could be a round someone with red hair wearing blue pants. Show me someone who is cold and kind, and I'll show you how green they are. A person described as cold and kind can also be described as nice. Young people tend to rough and nice, but they are also red. A very nice and kind person will also be round shaped.
Dave is green.
@0: Charlie is green.[(triple1)] Dave is blue.[(triple5 OR ((triple2 ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule3) OR ((((triple3 ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule1) ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule3))] Dave is cold.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2 OR ((triple3 ((((triple4 triple3) -> rule5) triple3) -> rule7)) -> rule1))] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is young.[(triple6)] Gary is big.[(triple12)] Gary is blue.[(triple11 OR ((((triple9 ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule1) ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule3))] Gary is cold.[(triple10)] Gary is kind.[(triple9)] @1: Dave is green.[(((triple4 triple3) -> rule4))] Dave is nice.[(((triple4 triple3) -> rule5))] Gary is green.[(((triple10 triple9) -> rule4))] Gary is nice.[(((triple10 triple9) -> rule5))] @2: Dave is round.[(((((triple4 triple3) -> rule5) triple3) -> rule7))] Gary is round.[(((((triple10 triple9) -> rule5) triple9) -> rule7))] @3: Gary is red.[(((triple9 ((((triple10 triple9) -> rule5) triple9) -> rule7)) -> rule1))]