Even though Bob is round and big, he is very kind. Dave seems to be round. Eric is known for being big and rough, but few know he is also always red with cold. Harry is kind and nice and looks green. A person who is cold and blue is nice. If you're truly nice, cold, and blue, you're kind, too. Big people who are red in color are almost always young. Round young people, red with loveliness, are very cold towards others. Cold people that are big and red are usually nice. People who are young are also blue. Red people, who are also round and young, are often quite blue as well.
Harry is not cold.
@0: Bob is big.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Dave is round.[(triple4)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is red.[(triple6)] Eric is rough.[(triple5)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] @1: Eric is nice.[(((triple7 triple6 triple8) -> rule5) OR ((triple7 ((((triple8 triple6) -> rule3)) -> rule6)) -> rule1))] Eric is young.[(((triple8 triple6) -> rule3))] @2: Eric is blue.[(((((triple8 triple6) -> rule3)) -> rule6))] @3: Eric is kind.[(((((triple7 triple6 triple8) -> rule5) triple7 ((((triple8 triple6) -> rule3)) -> rule6)) -> rule2) OR ((((triple7 ((((triple8 triple6) -> rule3)) -> rule6)) -> rule1) triple7 ((((triple8 triple6) -> rule3)) -> rule6)) -> rule2))]