This Alan guy is red. He is also kind and yet cold. Charlie is kind and round. Being round makes him a bit blue. Eric is round, rough and big, but that's because he's also green at the job and cold working outside. A rough person that is cold towards others is green. When you meet someone that's rough, kind and nice you'll see they are green as well. People that are green tend to be young. People who have a big shape while they are young are found to be nice. Young people that are nice and green tend to be blue. A young, big sized person will certainly be a kind one.
Bob is not red.
@0: Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is round.[(triple4)] Eric is big.[(triple11)] Eric is cold.[(triple10)] Eric is green.[(triple9 OR ((triple8 triple10) -> rule1))] Eric is rough.[(triple8)] Eric is round.[(triple7)] @1: Eric is young.[(((triple9) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule3))] @2: Eric is kind.[(((((triple9) -> rule3) triple11) -> rule6) OR ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule6))] Eric is nice.[(((((triple9) -> rule3) triple11) -> rule4) OR ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4))] @3: Eric is blue.[(((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((triple9) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((triple9) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) triple9) -> rule5) OR ((((((triple8 triple10) -> rule1)) -> rule3) ((((((triple8 triple10) -> rule1)) -> rule3) triple11) -> rule4) ((triple8 triple10) -> rule1)) -> rule5))]