Alan, like all young people, is nice. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Eric is a rough but very kind and blue person. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. A cold person with a round figure who is kind to others is nice as well. Big people who are red in color are often nice. A quite nice person who is red and green is also big. Big people are also round people. People who are nice, big, and also rough, are considered red.
Fred is big.
@0: Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is big.[(triple6)] Dave is cold.[(triple5)] Dave is kind.[(triple4)] Dave is rough.[(triple3)] Eric is blue.[(triple9)] Eric is kind.[(triple8)] Eric is rough.[(triple7)] Fred is blue.[(triple12)] Fred is green.[(triple11)] Fred is nice.[(triple10)] @1: Dave is round.[(((triple6) -> rule4))] @2: Dave is nice.[(((triple4 triple5 ((triple6) -> rule4)) -> rule1))] @3: Dave is red.[(((((triple4 triple5 ((triple6) -> rule4)) -> rule1) triple6 triple3) -> rule5))]