Young Alan is nice and round.  When he's cold, he is also quite rough. Young Dave is a very nice guy, even though his rough blue skin that is cold to the touch causes some people to avoid him. Eric has been blue because he's green with envy. Some who is round in shape, but who is also cold and kind is often always nice. Blue people who are also green with envy are rough. People here that are big, young and blue will be red too. A rough person will also be a cold person. Anyone who is cold and wears green to keep warm is surely kind as well.
Alan is not round.
@0: Alan is cold.[(triple5 OR ((triple3) -> rule4))] Alan is nice.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Dave is blue.[(triple10)] Dave is cold.[(triple9 OR ((triple7) -> rule4))] Dave is nice.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is blue.[(triple12)] Eric is green.[(triple11)] @1: Eric is rough.[(((triple12 triple11) -> rule2))] @2: Eric is cold.[(((((triple12 triple11) -> rule2)) -> rule4))] @3: Eric is kind.[(((triple11 ((((triple12 triple11) -> rule2)) -> rule4)) -> rule5))]