Charlie is a nice, kind young man that is feeling rather blue -- he is also green. Big, round Eric is cold and very green. Red Gary is what folks call him, because he is quite red. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. A kind, round person will surely be red as well. A young aged and blue colored person will certainly be round. This person is nice and young, also round, which makes them cold. Cold people,though green and red,tend to be rough. Round people who feel rough also always feel cold,. If the person is big and cold then as a rule they must be green. A green and red colored person who has a nice temperament will be cold.
Harry is not young.
@0: Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Eric is big.[(triple9)] Eric is cold.[(triple8)] Eric is green.[(triple7 OR ((triple9 triple8) -> rule6))] Eric is round.[(triple6)] Gary is red.[(triple10)] Harry is blue.[(triple12)] Harry is rough.[(triple11)] @1: Charlie is round.[(((triple1 triple5) -> rule2))] @2: Charlie is cold.[(((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) OR ((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7))] Charlie is red.[(((triple3 ((triple1 triple5) -> rule2)) -> rule1))] @3: Charlie is rough.[(((((triple1 triple2 ((triple1 triple5) -> rule2)) -> rule3) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple4 triple2 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule7) triple4 ((triple3 ((triple1 triple5) -> rule2)) -> rule1)) -> rule4))]