That guy Alan sure is nice. You can tell me Charlie is rough, and I know he is kind, cold, blue and very young. Gary is a kind person and he is also often cold. Harry is a kind person and he is also often cold. People who are very nice and easily flush red are often wearing green concealer. A blue colored person who is nice is a red person. People of young age are rough and cold but some are nice. When rough and kind can describe a person, then cold will describe them, too. Nice, young red people will also turn out to always be green. A cold blue person who is rough is also kind.
Alan is red.
@0: Alan is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5 OR ((triple4 triple3) -> rule4))] Charlie is kind.[(triple4 OR ((triple6 triple5 triple3) -> rule6))] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Gary is cold.[(triple8)] Gary is kind.[(triple7)] Harry is cold.[(triple10)] Harry is kind.[(triple9)] @1: Charlie is nice.[(((triple2 triple3 triple5) -> rule3) OR ((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3))] @2: Charlie is red.[(((((triple2 triple3 triple5) -> rule3) triple6) -> rule2) OR ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) triple6) -> rule2))] @3: Charlie is green.[(((((triple2 triple3 triple5) -> rule3) ((((triple2 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule1) OR ((triple2 ((((triple2 triple3 triple5) -> rule3) triple6) -> rule2) ((triple2 triple3 triple5) -> rule3)) -> rule5) OR ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) ((((triple2 triple3 triple5) -> rule3) triple6) -> rule2)) -> rule1) OR ((triple2 ((((triple2 triple3 triple5) -> rule3) triple6) -> rule2) ((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3)) -> rule5) OR ((((triple2 triple3 triple5) -> rule3) ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) triple6) -> rule2)) -> rule1) OR ((triple2 ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) triple6) -> rule2) ((triple2 triple3 triple5) -> rule3)) -> rule5) OR ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) triple6) -> rule2)) -> rule1) OR ((triple2 ((((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3) triple6) -> rule2) ((triple2 triple3 ((triple4 triple3) -> rule4)) -> rule3)) -> rule5))]