Alan wears all blue. As much as Bob is nice, he is also cold and often feels blue. Charlie has rough skin so it is red. He is big but so very kind. Young and rough people tend to be green too. A quite nice person will certainly be red. Someone who is not only rough and big but also nice will necessarily be round as well. All nice people are young. Green people who are kind with rosy red skin are round. Young people are rough.
Alan is not red.
@0: Alan is blue.[(triple1)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is nice.[(triple2)] Charlie is big.[(triple8)] Charlie is kind.[(triple7)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] @1: Bob is red.[(((triple2) -> rule2))] Bob is young.[(((triple2) -> rule4))] @2: Bob is rough.[(((((triple2) -> rule4)) -> rule6))] @3: Bob is green.[(((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule6)) -> rule1))]