Bob is a big young boy with a bit of a rough streak. Most of the times he is nice, especially when his skin is green and blue. Charlie was feeling red with anger after the fight, but he was still a nice but big human being. Dave is big and rough. A blue person who is feeling a bit rough and cold will be wearing red. Big and round people can't help but be cold all of the time. A young person who is red and green is also going to look round. I have noticed that nice people that are green and blue are often round-shaped. Invariably, any young person whose skin appears rough and green is bound to be quite big. A young, cold person is often blue.
Charlie is not round.
@0: Bob is big.[(triple6 OR ((triple1 triple4 triple2) -> rule5))] Bob is blue.[(triple5)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple9)] Charlie is nice.[(triple8)] Charlie is red.[(triple7)] Dave is big.[(triple11)] Dave is rough.[(triple10)] @1: Bob is round.[(((triple3 triple4 triple5) -> rule4))] @2: Bob is cold.[(((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) OR ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2))] @3: Bob is red.[(((triple5 ((triple6 ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1) OR ((triple5 ((((triple1 triple4 triple2) -> rule5) ((triple3 triple4 triple5) -> rule4)) -> rule2) triple2) -> rule1))]