Bob is very big for being so young. Fred is a nice big red and green guy, but he can be cold even while being kind. Harry is a very young and nice person. Harry's hair is red with a rough texture. Big, young people have a tendancy to be blue. When nice people are feeling blue and wearing green then they are round. A guy or girl that's round, kind and young is going to be a big girl or guy, too. Nice blue people are usually round in shape. It is a universal truth that whoever is young and round and big must also be kind. All rough people are big in some way.
Bob is not blue.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Fred is nice.[(triple4)] Fred is red.[(triple3)] Harry is nice.[(triple12)] Harry is red.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple9)] @1: Bob is blue.[(((triple1 triple2) -> rule1))] Harry is big.[(((triple10) -> rule6))] @2: Harry is blue.[(((triple9 ((triple10) -> rule6)) -> rule1))] @3: Harry is round.[(((triple12 ((triple9 ((triple10) -> rule6)) -> rule1)) -> rule4))] @4: Harry is kind.[(((triple9 ((triple12 ((triple9 ((triple10) -> rule6)) -> rule1)) -> rule4) ((triple10) -> rule6)) -> rule5))]