That man standing next to you with a big round body goes by the name of Bob. Eric is nice and kind. He is green with envy which makes him feel blue. Fred always goes out of his way to show that he is kind to people. Colored red, green, and blue, Gary is quite the round person. Green and blue people have a habit of being cold, which makes them red too. A cold and blue appearing person will be young as well. Someone being both nice and kind means that they are a big person. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Blue and red people who are young always have rough skin. A person that is round, green, and blue is usually considered cold. Nice green people who feel blue are often red in color.
Bob is not big.
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Fred is kind.[(triple7)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is red.[(triple9 OR ((triple10 triple11 ((triple8 triple10 triple11) -> rule6)) -> rule1))] Gary is round.[(triple8)] @1: Eric is big.[(((triple3 triple4) -> rule3))] Eric is red.[(((triple5 triple6 triple3) -> rule7) OR ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1))] Gary is cold.[(((triple8 triple10 triple11) -> rule6))] @2: Eric is round.[(((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4))] Gary is young.[(((((triple8 triple10 triple11) -> rule6) triple11) -> rule2))] @3: Eric is cold.[(((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6))] Gary is rough.[(((triple11 triple9 ((((triple8 triple10 triple11) -> rule6) triple11) -> rule2)) -> rule5) OR ((triple11 ((triple10 triple11 ((triple8 triple10 triple11) -> rule6)) -> rule1) ((((triple8 triple10 triple11) -> rule6) triple11) -> rule2)) -> rule5))] @4: Eric is young.[(((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2))] @5: Eric is rough.[(((triple6 ((triple5 triple6 triple3) -> rule7) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5) OR ((triple6 ((triple5 triple6 ((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6)) -> rule1) ((((((triple3 triple6 ((triple3 triple4) -> rule3)) -> rule4) triple5 triple6) -> rule6) triple6) -> rule2)) -> rule5))]