Alan is rough and cold, but he's young and will get over it. Charlie is blue from ink he spilled on himself while being kind and helping some children paint. Eric loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. My friend Harry is very young. People say he is nice for having a round shape. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. Rough people are often round. Any rather round person exposed to weather that leaves them red and cold will feel blue. Rough and green people are also nice. Big people are also round people. A round person will also be red. Big people that tend to be nice and blue, may also be a little rough to others.
Alan is not red.
@0: Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Eric is cold.[(triple8)] Eric is rough.[(triple7)] Eric is round.[(triple6 OR ((triple7) -> rule2))] Harry is nice.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Alan is round.[(((triple2) -> rule2))] Eric is red.[(((triple6) -> rule6) OR ((((triple7) -> rule2)) -> rule6))] Harry is red.[(((triple10) -> rule6))] @2: Alan is red.[(((((triple2) -> rule2)) -> rule6))] Eric is blue.[(((triple6 ((triple6) -> rule6) triple8) -> rule3) OR ((((triple7) -> rule2) ((triple6) -> rule6) triple8) -> rule3) OR ((triple6 ((((triple7) -> rule2)) -> rule6) triple8) -> rule3) OR ((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule6) triple8) -> rule3))] @3: Alan is blue.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule6) triple3) -> rule3))]