Bob has a round face and is very nice. Charlie is a nice and red, but very kind person as soon as you meet him. This Dave guy is red. He is also kind and yet cold. People think Eric is nice and kind for someone so young.  Eric wears his favorite color green all the time. Big, young people feel cold all the time. It's inevitable that young, green people are big. Show me someone who is cold and kind, and I'll show you how green they are. A green person that is cold is often considered to be red. Being blue, cold, and rough must be very trying. At least they are also big. Invariably, any young person whose skin appears rough and green is bound to be quite big. People who are nice and kind are somewhat young.
Bob is young.
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Dave is cold.[(triple8)] Dave is kind.[(triple7)] Dave is red.[(triple6 OR ((((triple8 triple7) -> rule3) triple8) -> rule4))] Eric is green.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is young.[(triple9 OR ((triple11 triple10) -> rule7))] @1: Charlie is young.[(((triple5 triple4) -> rule7))] Dave is green.[(((triple8 triple7) -> rule3))] Eric is big.[(((triple9 triple12) -> rule2) OR ((((triple11 triple10) -> rule7) triple12) -> rule2))] @2: Eric is cold.[(((triple9 ((triple9 triple12) -> rule2)) -> rule1) OR ((((triple11 triple10) -> rule7) ((triple9 triple12) -> rule2)) -> rule1) OR ((triple9 ((((triple11 triple10) -> rule7) triple12) -> rule2)) -> rule1) OR ((((triple11 triple10) -> rule7) ((((triple11 triple10) -> rule7) triple12) -> rule2)) -> rule1))] @3: Eric is red.[(((triple12 ((triple9 ((triple9 triple12) -> rule2)) -> rule1)) -> rule4) OR ((triple12 ((((triple11 triple10) -> rule7) ((triple9 triple12) -> rule2)) -> rule1)) -> rule4) OR ((triple12 ((triple9 ((((triple11 triple10) -> rule7) triple12) -> rule2)) -> rule1)) -> rule4) OR ((triple12 ((((triple11 triple10) -> rule7) ((((triple11 triple10) -> rule7) triple12) -> rule2)) -> rule1)) -> rule4))]