Young Alan is nice and round.  When he's cold, he is also quite rough. Fred has been blue because he's green with envy. Gary has been blue because he's green with envy. Harry has been blue because he's green with envy. Someone who is green and cold is, at the same time, blue in every case. A cold person who is both nice and rough around the edges is big. People here that are big, young and blue will be red too. Rough, young people that are big are often nice. Maybe someone is round and rough but wears green shoes. A person that is nice and big is always round. When I see a young child who plays rough on the playground with others and has cold hands, I know it means they are kind.
Alan is round.
@0: Alan is cold.[(triple5)] Alan is nice.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2 OR ((triple4 ((triple4 triple3 triple5) -> rule2)) -> rule6))] Alan is young.[(triple1)] Fred is blue.[(triple7)] Fred is green.[(triple6)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Harry is blue.[(triple11)] Harry is green.[(triple10)] @1: Alan is big.[(((triple4 triple3 triple5) -> rule2))] Alan is green.[(((triple3 triple2) -> rule5) OR ((triple3 ((triple4 ((triple4 triple3 triple5) -> rule2)) -> rule6)) -> rule5))] Alan is kind.[(((triple3 triple1 triple5) -> rule7))] @2: Alan is blue.[(((((triple3 triple2) -> rule5) triple5) -> rule1) OR ((((triple3 ((triple4 ((triple4 triple3 triple5) -> rule2)) -> rule6)) -> rule5) triple5) -> rule1))] @3: Alan is red.[(((((((triple3 triple2) -> rule5) triple5) -> rule1) triple1 ((triple4 triple3 triple5) -> rule2)) -> rule3) OR ((((((triple3 ((triple4 ((triple4 triple3 triple5) -> rule2)) -> rule6)) -> rule5) triple5) -> rule1) triple1 ((triple4 triple3 triple5) -> rule2)) -> rule3))]