Bob wears all blue. Blue and green Charlie is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Dave was kind despite being rough. And because he was so big, Dave constantly felt cold. Young Fred got into a fight that left him with red sores on his face. A rough and kind person is big. If people are cold they are often red. I see it all the time, nice big people make equal a cold person. If a big person is cold and nice, then they are green. A big kind person that is red is almost always nice. Red and round people will be cold even in the summer.
Charlie is nice.
@0: Bob is blue.[(triple1)] Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is kind.[(triple2)] Dave is big.[(triple8 OR ((triple6 triple5) -> rule1))] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Fred is red.[(triple10)] Fred is young.[(triple9)] @1: Dave is red.[(((triple7) -> rule2))] @2: Dave is nice.[(((triple6 ((triple7) -> rule2) triple8) -> rule5) OR ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5))] @3: Dave is green.[(((triple7 triple8 ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 triple8 ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) triple8) -> rule5)) -> rule4) OR ((triple7 ((triple6 triple5) -> rule1) ((triple6 ((triple7) -> rule2) ((triple6 triple5) -> rule1)) -> rule5)) -> rule4))]