Bob is very big for being so young. Charlie is quite round but rough and is on the nice side, but rather cold. Rough is one way to describe Eric.  He's also round and tends to be blue and red. Fred feels blue because the other kids made fun of his round shape. Blue people are known the world over as nice people. All persons who are big are also kind. Anyone known to be red, young and blue will also be found to be cold. A nice person who is also round will always be big. Someone who's big, especially nice, and also cold at the same time can only be young.
Charlie is not red.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Eric is blue.[(triple10)] Eric is red.[(triple9)] Eric is rough.[(triple8)] Eric is round.[(triple7)] Fred is blue.[(triple12)] Fred is round.[(triple11)] @1: Bob is kind.[(((triple2) -> rule2))] Charlie is big.[(((triple5 triple3) -> rule4))] Eric is nice.[(((triple10) -> rule1))] Fred is nice.[(((triple12) -> rule1))] @2: Charlie is kind.[(((((triple5 triple3) -> rule4)) -> rule2))] Charlie is young.[(((((triple5 triple3) -> rule4) triple5 triple6) -> rule5))] Eric is big.[(((((triple10) -> rule1) triple7) -> rule4))] Fred is big.[(((((triple12) -> rule1) triple11) -> rule4))] @3: Eric is kind.[(((((((triple10) -> rule1) triple7) -> rule4)) -> rule2))] Fred is kind.[(((((((triple12) -> rule1) triple11) -> rule4)) -> rule2))]