Others enjoy Bob's company because he is so nice and kind. Charlie became so big that he is now very round. Fortunately the rather green man is still nice. In the snow sits Dave, crying from being cold. Fred ate some rotten meat and now feels green. A kind, round person will surely be red as well. Young people who rough around in the cold are known to be very red. A nice person who is always seen to be wearing green clothes will be rather big in size. It's said that any person with blue skin, round bones, and big feet is kind. Someone who's blue, nice and round will also be someone who's green. People who are rough and cold, but also nice, are considered green. When a round individual is nice to others, they are also feeling blue.
Fred is not red.
@0: Bob is kind.[(triple2)] Bob is nice.[(triple1)] Charlie is big.[(triple6 OR ((triple5 triple4) -> rule3) OR ((((((triple3 triple4) -> rule7) triple4 triple3) -> rule5) triple4) -> rule3))] Charlie is green.[(triple5 OR ((((triple3 triple4) -> rule7) triple4 triple3) -> rule5))] Charlie is nice.[(triple4)] Charlie is round.[(triple3)] Dave is cold.[(triple7)] Fred is green.[(triple8)] @1: Charlie is blue.[(((triple3 triple4) -> rule7))] @2: Charlie is kind.[(((((triple3 triple4) -> rule7) triple3 triple6) -> rule4) OR ((((triple3 triple4) -> rule7) triple3 ((triple5 triple4) -> rule3)) -> rule4) OR ((((triple3 triple4) -> rule7) triple3 ((((((triple3 triple4) -> rule7) triple4 triple3) -> rule5) triple4) -> rule3)) -> rule4))] @3: Charlie is red.[(((((((triple3 triple4) -> rule7) triple3 triple6) -> rule4) triple3) -> rule1) OR ((((((triple3 triple4) -> rule7) triple3 ((triple5 triple4) -> rule3)) -> rule4) triple3) -> rule1) OR ((((((triple3 triple4) -> rule7) triple3 ((((((triple3 triple4) -> rule7) triple4 triple3) -> rule5) triple4) -> rule3)) -> rule4) triple3) -> rule1))]