Red Alan is what folks call him, because he is quite red. Eric is round, rough and big, but that's because he's also green at the job and cold working outside. Although Harry is young and nice, he is as cold as ice. Anyone that's rough and cold is also going to be blue. People who are kind and green are very often rough. If you meet someone who is big and kind with cold skin, they will be young. Round and somewhat big people manage to be kind to everyone. A young, big sized person will certainly be a kind one. A young blue person that is kind is known for being extra nice to others, too. A big, blue and cold person will also be a round person.
Eric is kind.
@0: Alan is red.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is green.[(triple4)] Eric is rough.[(triple3 OR ((((triple2 triple6) -> rule4) triple4) -> rule2))] Eric is round.[(triple2 OR ((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7))] Harry is cold.[(triple9)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Eric is blue.[(((triple5 triple3) -> rule1) OR ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1))] Eric is kind.[(((triple2 triple6) -> rule4) OR ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4))] @2: Eric is young.[(((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) OR ((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3))] @3: Eric is nice.[(((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((triple2 triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 triple3) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((triple2 triple6) -> rule4)) -> rule6) OR ((((((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4) triple5 triple6) -> rule3) ((triple5 ((((triple2 triple6) -> rule4) triple4) -> rule2)) -> rule1) ((((triple6 triple5 ((triple5 triple3) -> rule1)) -> rule7) triple6) -> rule4)) -> rule6))]