Alan is a rough man with a big heart who has red hair and a nice smile. Dave is young, he is also red and green. Eric is nice and young with red hair and a blue shirt. They always call him rough Harry. When a nice blue person is also red, they get called rough. A kind, cold, round person will be nice in addition. Anyone that's rough and cold is also going to be blue. If someone is blue, young, and rough, they qualify as being round. When someone is nice, dressing in red, they can be blue because they are cold. Someone who's blue, nice and round will also be someone who's green. When you know someone who's red, rough and nice, you'll also see that they're cold.
Dave is round.
@0: Alan is big.[(triple4)] Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is green.[(triple7)] Dave is red.[(triple6)] Dave is young.[(triple5)] Eric is blue.[(triple11)] Eric is nice.[(triple10)] Eric is red.[(triple9)] Eric is young.[(triple8)] Harry is rough.[(triple12)] @1: Alan is cold.[(((triple3 triple2 triple1) -> rule7))] Eric is cold.[(((triple10 triple11 triple9) -> rule5) OR ((triple10 triple9 ((triple10 triple9 triple11) -> rule1)) -> rule7))] Eric is rough.[(((triple10 triple9 triple11) -> rule1))] @2: Alan is blue.[(((((triple3 triple2 triple1) -> rule7) triple1) -> rule3))] Eric is round.[(((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4))] @3: Eric is green.[(((triple11 triple10 ((((triple10 triple9 triple11) -> rule1) triple8 triple11) -> rule4)) -> rule6))]