The young person who is always feeling cold is named Bob. Eric, who is relatively young, is also pretty big and tends to be cold. Fred may be young but he is nice, wears green shoes and is cold. Harry may be round, but he is also kind. Young people that are turning blue from being cold will be rough looking. Big people with rough, green skin are cold because of it. Kind people that are round are on the big side. Every person I met that was cold and round was also red. People who are young are also blue. When you run into someone who is rough and green at the same time, they will also be red. A cold blue person who is rough is also kind.
Bob is kind.
@0: Bob is cold.[(triple2)] Bob is young.[(triple1)] Eric is big.[(triple5)] Eric is cold.[(triple4)] Eric is young.[(triple3)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is nice.[(triple7)] Fred is young.[(triple6)] Harry is kind.[(triple11)] Harry is round.[(triple10)] @1: Bob is blue.[(((triple1) -> rule5))] Eric is blue.[(((triple3) -> rule5))] Fred is blue.[(((triple6) -> rule5))] Harry is big.[(((triple11 triple10) -> rule3))] @2: Bob is rough.[(((triple2 triple1 ((triple1) -> rule5)) -> rule1))] Eric is rough.[(((triple4 triple3 ((triple3) -> rule5)) -> rule1))] Fred is rough.[(((triple9 triple6 ((triple6) -> rule5)) -> rule1))] @3: Bob is kind.[(((((triple1) -> rule5) triple2 ((triple2 triple1 ((triple1) -> rule5)) -> rule1)) -> rule7))] Eric is kind.[(((((triple3) -> rule5) triple4 ((triple4 triple3 ((triple3) -> rule5)) -> rule1)) -> rule7))] Fred is kind.[(((((triple6) -> rule5) triple9 ((triple9 triple6 ((triple6) -> rule5)) -> rule1)) -> rule7))] Fred is red.[(((((triple9 triple6 ((triple6) -> rule5)) -> rule1) triple8) -> rule6))]