When you first meet Alan you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. Red Bob is what folks call him, because he is quite red. Young Eric is already big and has rough, red skin from working outdoors.  Eric is kind but is feeling blue because of family troubles. People who are big and kind are also round. A male or female with rough, kind and round traits will surely have a nice quality, as well. This person is nice and young, also round, which makes them cold. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Kind people who are also rough are young.
Alan is not nice.
@0: Alan is big.[(triple5)] Alan is cold.[(triple4 OR ((triple1 ((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) ((triple3 triple5) -> rule1)) -> rule3) OR ((((triple2 triple3) -> rule5) ((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) ((triple3 triple5) -> rule1)) -> rule3) OR ((((((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) triple5 triple3) -> rule4) ((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) ((triple3 triple5) -> rule1)) -> rule3))] Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1 OR ((triple2 triple3) -> rule5) OR ((((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2) triple5 triple3) -> rule4))] Bob is red.[(triple6)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is kind.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] Eric is young.[(triple7 OR ((triple8 triple10) -> rule5) OR ((((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) triple12 triple10) -> rule4))] @1: Alan is round.[(((triple3 triple5) -> rule1))] Eric is round.[(((triple10 triple12) -> rule1))] @2: Alan is nice.[(((triple2 triple3 ((triple3 triple5) -> rule1)) -> rule2))] Eric is nice.[(((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2))] @3: Eric is cold.[(((triple7 ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule5) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3) OR ((((((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) triple12 triple10) -> rule4) ((triple8 triple10 ((triple10 triple12) -> rule1)) -> rule2) ((triple10 triple12) -> rule1)) -> rule3))]