Alan is round shaped and green colored. Bob is a rather big guy with rough features. He's pretty red and green, most of the time. Eric was looking rather round and feeling rather cold, but people thought he is kind. Harry who is big in stature is almost always nice even when he is cold. A nice young person who is red is cold. Look for the blue and green people, they are kind and will give you directions if you're lost. Any person who is blue and round, if they are kind at the same time, will be young. In every case of people being kind and blue and green, we find they are concurrently nice. Among the green people who are young, the color blue is always part of them. People that are green tend to be young.
Bob is not kind.
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple6)] Bob is green.[(triple5)] Bob is red.[(triple4)] Bob is rough.[(triple3)] Eric is cold.[(triple9)] Eric is kind.[(triple8)] Eric is round.[(triple7)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] @1: Alan is young.[(((triple2) -> rule6))] Bob is young.[(((triple5) -> rule6))] @2: Alan is blue.[(((triple2 ((triple2) -> rule6)) -> rule5))] Bob is blue.[(((triple5 ((triple5) -> rule6)) -> rule5))] @3: Alan is kind.[(((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2))] Bob is kind.[(((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2))] @4: Alan is nice.[(((((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule4))] Bob is nice.[(((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4))] @5: Bob is cold.[(((((((((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule2) ((triple5 ((triple5) -> rule6)) -> rule5) triple5) -> rule4) triple4 ((triple5) -> rule6)) -> rule1))]