Rough Bob can be nice and kind looking green. Charlie is round shaped and green colored. Dave wears all blue. Fred is a fairly round person for being as nice as he is. He is also blue because of his rough upbringing. He gets red when he talks about it. People with blue and red skin color are also green. Nice people who are big are always cold because they can't find space near the heater. Being green and rough are signs that someone is big. People who are nice and kind are somewhat young.
Bob is not blue.
@0: Bob is green.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is green.[(triple6)] Charlie is round.[(triple5)] Dave is blue.[(triple7)] Fred is blue.[(triple12)] Fred is nice.[(triple11)] Fred is red.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] @1: Bob is big.[(((triple4 triple1) -> rule3))] Bob is young.[(((triple3 triple2) -> rule4))] Fred is green.[(((triple12 triple10) -> rule1))] @2: Bob is cold.[(((((triple4 triple1) -> rule3) triple2) -> rule2))] Fred is big.[(((((triple12 triple10) -> rule1) triple9) -> rule3))] @3: Fred is cold.[(((((((triple12 triple10) -> rule1) triple9) -> rule3) triple11) -> rule2))]