The big, round, blue guy is Dave. He's kind but rather rough. Others enjoy Fred's company because he is so nice and kind. Gary is big and rough. Others enjoy Harry's company because he is so nice and kind. Young people who wear red lipstick are certainly kind. Cold and rough people will also surely be round shaped. People who are rough around the edges, nice, and a bit blue are young. All the big and young boys at the park are red. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Gary is young.
@0: Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is kind.[(triple3 OR ((((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4) ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule1))] Dave is rough.[(triple2)] Dave is round.[(triple1)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Gary is big.[(triple9)] Gary is rough.[(triple8)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Dave is nice.[(((triple4 triple2 triple5) -> rule6))] @2: Dave is young.[(((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3))] @3: Dave is red.[(((triple5 ((triple2 ((triple4 triple2 triple5) -> rule6) triple4) -> rule3)) -> rule4))]