Eric is a big fellow, often blue and sad, but he is nice. Gary is a kind person and he is also often cold. Harry is rather round shaped nice fellow who is feeling blue and looking green today. Folks who are rough and tumble yet gentle and kind are blue. A blue colored person who is nice is a red person. A nice, green, big person is also sure to be a red person. Big people with rough, green skin are cold because of it. Jan is nice and rough, she can be blue in the winter which makes her cold. A person that is round and somewhat green while being nice tends to be red as well. When somebody is red, blue and round, you can bet they are also rough.
Harry is green.
@0: Eric is big.[(triple3)] Eric is blue.[(triple2)] Eric is nice.[(triple1)] Gary is cold.[(triple5)] Gary is kind.[(triple4)] Harry is blue.[(triple9)] Harry is green.[(triple8)] Harry is nice.[(triple7)] Harry is round.[(triple6)] @1: Eric is red.[(((triple1 triple2) -> rule2))] Harry is red.[(((triple7 triple9) -> rule2) OR ((triple6 triple8 triple7) -> rule6))] @2: Harry is rough.[(((((triple7 triple9) -> rule2) triple6 triple9) -> rule7) OR ((((triple6 triple8 triple7) -> rule6) triple6 triple9) -> rule7))] @3: Harry is cold.[(((triple7 ((((triple7 triple9) -> rule2) triple6 triple9) -> rule7) triple9) -> rule5) OR ((triple7 ((((triple6 triple8 triple7) -> rule6) triple6 triple9) -> rule7) triple9) -> rule5))]