Alan has been blue because he's green with envy. Big Dave is a young, round man. Harry has been blue because he's green with envy. This makes him cold and rough. But he's young and round, so I assume he'll mature. A cold person who is both nice and rough around the edges is big. Nice people who are big and round will have red faces too. Blue people who are also green with envy are rough. Remember that anyone with round shapes and rough edges is nice. Someone with big, rough hands and a green thumb is undoubtedly someone young who likes to garden. A blue person in color will be a cold temperature, big in shape and will definitely be green. People who are big, green, and rough are bound to be red.
Harry is not red.
@0: Alan is blue.[(triple2)] Alan is green.[(triple1)] Dave is big.[(triple5)] Dave is round.[(triple4)] Dave is young.[(triple3)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9 OR ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6))] Harry is rough.[(triple8 OR ((triple11 triple9) -> rule3))] Harry is round.[(triple7)] Harry is young.[(triple6 OR ((triple8 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple9) -> rule5) OR ((triple8 ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple9) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9) -> rule5) OR ((triple8 ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) triple9) -> rule5) OR ((triple8 ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) triple9) -> rule5) OR ((triple8 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9) -> rule5) OR ((triple8 ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((triple8 ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((triple8 ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((((triple11 triple9) -> rule3) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6)) -> rule5))] @1: Alan is rough.[(((triple2 triple1) -> rule3))] Harry is nice.[(((triple7 triple8) -> rule4) OR ((triple7 ((triple11 triple9) -> rule3)) -> rule4))] @2: Harry is big.[(((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) OR ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) OR ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) OR ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1))] @3: Harry is red.[(((((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple9 triple8) -> rule7) OR ((((triple7 triple8) -> rule4) ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple7) -> rule2) OR ((((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple9 ((triple11 triple9) -> rule3)) -> rule7) OR ((((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9 triple8) -> rule7) OR ((((triple7 triple8) -> rule4) ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple7) -> rule2) OR ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple7) -> rule2) OR ((((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9 ((triple11 triple9) -> rule3)) -> rule7) OR ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple7) -> rule2) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) triple9 triple8) -> rule7) OR ((((triple7 triple8) -> rule4) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) triple7) -> rule2) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) triple9 ((triple11 triple9) -> rule3)) -> rule7) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9 triple8) -> rule7) OR ((((triple7 triple8) -> rule4) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple7) -> rule2) OR ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) triple7) -> rule2) OR ((((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) triple8) -> rule7) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple9 ((triple11 triple9) -> rule3)) -> rule7) OR ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) triple7) -> rule2) OR ((((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) ((triple11 triple9) -> rule3)) -> rule7) OR ((((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) triple8) -> rule7) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) triple8) -> rule7) OR ((((((triple7 triple8) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) ((triple11 triple9) -> rule3)) -> rule7) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) triple8 triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) ((triple11 triple9) -> rule3)) -> rule7) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) triple8) -> rule7) OR ((((((triple7 ((triple11 triple9) -> rule3)) -> rule4) ((triple11 triple9) -> rule3) triple10) -> rule1) ((triple11 ((((triple7 triple8) -> rule4) triple8 triple10) -> rule1) triple10) -> rule6) ((triple11 triple9) -> rule3)) -> rule7))]