Red Alan is what folks call him, because he is quite red. Bob is colored blue and red. He is also kind and cold to the touch. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Eric. Santa Claus is red and kind. He is also very nice, especially to children. When a person can be described as blue, rough and round, you can call them nice at the same time. Someone who is colored both in red and green, while being kind to others, is a round person. Show me someone who is cold and kind, and I'll show you how green they are. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. If you meet a kind green person with a round shape they will also be young. Blue and red people who are young always have rough skin.
Harry is not round.
@0: Alan is red.[(triple1)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Eric is blue.[(triple11)] Eric is cold.[(triple10)] Eric is kind.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7 OR ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6)) -> rule7) OR ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6)) -> rule7))] Eric is round.[(triple6 OR ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3))] @1: Bob is green.[(((triple4 triple3) -> rule4))] Bob is nice.[(((triple2 triple3) -> rule1) OR ((triple5 triple2 ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule5) OR ((((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3) triple5 ((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7)) -> rule2))] Eric is green.[(((triple10 triple9) -> rule4))] Eric is nice.[(((triple8 triple9) -> rule1) OR ((triple11 triple8 triple6) -> rule5) OR ((triple6 triple11 triple7) -> rule2) OR ((triple11 triple8 ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule5) OR ((((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3) triple11 triple7) -> rule2) OR ((triple6 triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6)) -> rule7)) -> rule2) OR ((((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3) triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6)) -> rule7)) -> rule2) OR ((triple6 triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6)) -> rule7)) -> rule2) OR ((((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3) triple11 ((triple11 triple8 ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6)) -> rule7)) -> rule2))] @2: Bob is round.[(((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3))] Eric is young.[(((triple9 ((triple10 triple9) -> rule4) triple6) -> rule6) OR ((triple9 ((triple10 triple9) -> rule4) ((triple8 ((triple10 triple9) -> rule4) triple9) -> rule3)) -> rule6))] @3: Bob is young.[(((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6))] @4: Bob is rough.[(((triple5 triple2 ((triple3 ((triple4 triple3) -> rule4) ((triple2 ((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule6)) -> rule7))]