Alan wears all blue. From a certain angle Dave is blue but he is young so maybe that will go away. Eric had big, red, round cheeks. Fred is still young which means he can be rough and cold. He is a big boy with red hair. Someone can be young, big, and cold but green. When anyone is young, red and green, you know they'll also be blue. A big, young human being is sure to also be a green human being. Humans who are nice to others while they are young and red will also be green. Unfortunately, all the young people who are considered green are all round. A person that is the color red will definitely be round shaped. It's just a fact that a blue person is a kind person.
Alan is not green.
@0: Alan is blue.[(triple1)] Dave is blue.[(triple3)] Dave is young.[(triple2)] Eric is big.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4 OR ((triple5) -> rule6))] Fred is big.[(triple11)] Fred is cold.[(triple10)] Fred is red.[(triple9)] Fred is rough.[(triple8)] Fred is young.[(triple7)] @1: Alan is kind.[(((triple1) -> rule7))] Dave is kind.[(((triple3) -> rule7))] Fred is green.[(((triple11 triple7) -> rule3) OR ((triple7 triple10 triple11) -> rule1))] Fred is round.[(((triple9) -> rule6) OR ((((triple11 triple7) -> rule3) triple7) -> rule5) OR ((((triple7 triple10 triple11) -> rule1) triple7) -> rule5))] @2: Fred is blue.[(((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2) OR ((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2))] @3: Fred is kind.[(((((triple9 triple7 ((triple11 triple7) -> rule3)) -> rule2)) -> rule7) OR ((((triple9 triple7 ((triple7 triple10 triple11) -> rule1)) -> rule2)) -> rule7))]