When you see Bob, you will notice he is cold, big and kind. Dave is blue and cold. Eric is a person both green and big. Soon you will understand that big people are nice. People who are rough and green with envy are young. A kind, cold, round person will be nice in addition. Rough, round persons are also nice persons. A cold and blue appearing person will be young as well. Young people that are big in size, tend to be more on the blue side. People who are nice and kind are somewhat young.
Bob is blue.
@0: Bob is big.[(triple3)] Bob is cold.[(triple2)] Bob is kind.[(triple1)] Dave is blue.[(triple5)] Dave is cold.[(triple4)] Eric is big.[(triple7)] Eric is green.[(triple6)] @1: Bob is nice.[(((triple3) -> rule1))] Dave is young.[(((triple4 triple5) -> rule5))] Eric is nice.[(((triple7) -> rule1))] @2: Bob is young.[(((triple1 ((triple3) -> rule1)) -> rule7))] @3: Bob is blue.[(((triple3 ((triple1 ((triple3) -> rule1)) -> rule7)) -> rule6))]