Red Alan is what folks call him, because he is quite red. Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. That guy Eric is big, but he's always kind to little ones. Young, round Fred is green and very cold, but also nice. Surprisingly, all the kind, green people were also big. A person that is both green and red tends to be cold as well. Kind people,though green,tend to be nice. A young, green person who is cold is rough around the edges. A cold human with round and rough aspects is always kind. People who are nice and kind are somewhat young.
Alan is not red.
@0: Alan is red.[(triple1)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is round.[(triple2)] Eric is big.[(triple6)] Eric is kind.[(triple5)] Fred is cold.[(triple11)] Fred is green.[(triple10)] Fred is nice.[(triple9 OR ((((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5) triple10) -> rule3))] Fred is round.[(triple8)] Fred is young.[(triple7)] @1: Fred is rough.[(((triple11 triple10 triple7) -> rule4))] @2: Fred is kind.[(((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5))] @3: Fred is big.[(((((triple11 triple8 ((triple11 triple10 triple7) -> rule4)) -> rule5) triple10) -> rule1))]