Bob is a nice round guy, which leads to him being red. Eric ate some rotten meat and now feels green. Fred is nice and young with red hair and a blue shirt. Gary grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. If you meet a nice, young, red man, you will see that they are big too. Kind big people are green and young. A kind, cold, round person will be nice in addition. Nice, green people that are somewhat round are big through the shoulders. Someone who is colored both in red and green, while being kind to others, is a round person. A big and blue colored person is also certainly very kind. Anyone that's described as young, kind and blue can be said to be cold, too.
Fred is not cold.
@0: Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is green.[(triple4)] Fred is blue.[(triple8)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Fred is young.[(triple5)] Gary is blue.[(triple10)] Gary is rough.[(triple9)] @1: Fred is big.[(((triple5 triple7 triple6) -> rule1))] @2: Fred is kind.[(((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6))] @3: Fred is cold.[(((triple5 triple8 ((triple8 ((triple5 triple7 triple6) -> rule1)) -> rule6)) -> rule7))]