Alan wears all blue. Bob is young, rough and green, but he is also kind and is red when embarrassed. Fred is a person both green and big. Harry is a red person who is round and also feels blue. If a kind person is also young and round shaped, they will be colored blue. It is true that kind people who have become cold and blue and survived are necessarily big. Cold, red people are generally kind and big. Like a blueberry, a big blue person is round as anything. People that feel green are cold to people that try to help them. When anyone is young, red and green, you know they'll also be blue. If you find that someone has rough blue skin they are always kind.
Alan is big.
@0: Alan is blue.[(triple1)] Bob is green.[(triple6)] Bob is kind.[(triple5 OR ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7))] Bob is red.[(triple4)] Bob is rough.[(triple3)] Bob is young.[(triple2)] Fred is big.[(triple8)] Fred is green.[(triple7)] Harry is blue.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is blue.[(((triple4 triple2 triple6) -> rule6))] Bob is cold.[(((triple6) -> rule5))] Fred is cold.[(((triple7) -> rule5))] @2: Bob is big.[(((triple5 triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2) OR ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3) OR ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2))] @3: Bob is round.[(((((triple4 triple2 triple6) -> rule6) ((triple5 triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) triple5) -> rule2)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7) triple4 ((triple6) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 triple2 triple6) -> rule6) ((((triple4 triple2 triple6) -> rule6) ((triple6) -> rule5) ((triple3 ((triple4 triple2 triple6) -> rule6)) -> rule7)) -> rule2)) -> rule4))]