Alan was kind despite being rough. And because he was so big, Alan constantly felt cold. This Charlie guy is red. He is also kind and yet cold. Dave is blue and cold. Eric has a round face and is very nice. Young people with red skin who are a bit downhearted and blue are kind. Most young, green people are kind and because of this they are round. Big and green people who feel cold are usually young in age. A rough person that is cold towards others is green. As someone can be round and rough, they can also be nice and kind. Big kind people are usually cold. Anyone who is big and cold and also kind is definitely red on top if it.
Dave is not big.
@0: Alan is big.[(triple4)] Alan is cold.[(triple3 OR ((triple2 triple4) -> rule6))] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Charlie is cold.[(triple7)] Charlie is kind.[(triple6)] Charlie is red.[(triple5)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Eric is nice.[(triple11)] Eric is round.[(triple10)] @1: Alan is green.[(((triple1 triple3) -> rule4) OR ((triple1 ((triple2 triple4) -> rule6)) -> rule4))] Alan is red.[(((triple4 triple3 triple2) -> rule7) OR ((triple4 ((triple2 triple4) -> rule6) triple2) -> rule7))] @2: Alan is young.[(((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3))] @3: Alan is round.[(((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 triple3) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 triple3) -> rule3) triple2) -> rule2) OR ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) ((((triple1 ((triple2 triple4) -> rule6)) -> rule4) triple4 ((triple2 triple4) -> rule6)) -> rule3) triple2) -> rule2))]