Alan, a green man, was also big, but underneath he was kind. It's easy to tell that Bob is young because he is so round. Even though he is kind it makes him green with envy of some people. Charlie is both young and fairly round in size. That man standing next to you with a big round body goes by the name of Harry. A blue person who is feeling a bit rough and cold will be wearing red. Whenever you are around kind and green people, you will notice they are very red. A person that is nice and young is also going to be a person that is rough. Cold, red people are generally kind and big. A red, round male or female will also be a nice male or female. Someone who is kind and young with a round figure will always be red too. Round, nice people are normally cold and nasty.
Bob is not kind.
@0: Alan is big.[(triple3)] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is green.[(triple7)] Bob is kind.[(triple6)] Bob is round.[(triple5)] Bob is young.[(triple4)] Charlie is round.[(triple9)] Charlie is young.[(triple8)] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Alan is red.[(((triple1 triple2) -> rule2))] Bob is red.[(((triple6 triple7) -> rule2) OR ((triple5 triple4 triple6) -> rule6))] @2: Bob is nice.[(((((triple6 triple7) -> rule2) triple5) -> rule5) OR ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5))] @3: Bob is cold.[(((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7) OR ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7))] Bob is rough.[(((((((triple6 triple7) -> rule2) triple5) -> rule5) triple4) -> rule3) OR ((((((triple5 triple4 triple6) -> rule6) triple5) -> rule5) triple4) -> rule3))] @4: Bob is big.[(((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple6 triple7) -> rule2) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple6 triple7) -> rule2) triple5) -> rule5)) -> rule7)) -> rule4) OR ((triple6 ((triple5 triple4 triple6) -> rule6) ((triple5 ((((triple5 triple4 triple6) -> rule6) triple5) -> rule5)) -> rule7)) -> rule4))]