Alan is young and a bit big and round. He acts cold towards skinny people because he is green with envy. Eric is a nice round guy, which leads to him being red. As much as Fred is nice, he is also cold and often feels blue. A green person who is cold and round is also big. Red, kind, young people will be rough people, too. A big young person that is green will be cold to others. Interestingly, cold and rough people are kind. A cold human with round and rough aspects is always kind. Round and somewhat big people manage to be kind to everyone. Anyone who is big and cold and also kind is definitely red on top if it.
Eric is kind.
@0: Alan is big.[(triple5 OR ((triple4 triple2 triple3) -> rule1))] Alan is cold.[(triple4 OR ((triple3 triple1 triple5) -> rule3))] Alan is green.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is nice.[(triple9)] @1: Alan is kind.[(((triple2 triple5) -> rule6) OR ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6))] @2: Alan is red.[(((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7) OR ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7) OR ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7))] @3: Alan is rough.[(((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 triple5) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 triple5) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((triple5 ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) triple4 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2) OR ((triple1 ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6) ((((triple4 triple2 triple3) -> rule1) ((triple3 triple1 triple5) -> rule3) ((triple2 ((triple4 triple2 triple3) -> rule1)) -> rule6)) -> rule7)) -> rule2))]