When you see Charlie, you will notice he is cold, big and kind. Fred is a nice person who is red because he has a rash. Gary's a young guy who is big, red and round. Additionally, he's both kind and cold. In the snow sits Harry, crying from being cold. If someone has a red complexion that is rough and feels blue then you'll see they are rather nice. A kind person who is big in size is definitely young. A big kind person that is red is almost always nice. A young person with cold, rough skin will be red as well. Get a rather green person who is both nice, but cold to others, then they are certain to be round. Young people are rough.
Harry is not young.
@0: Charlie is big.[(triple3)] Charlie is cold.[(triple2)] Charlie is kind.[(triple1)] Fred is nice.[(triple5)] Fred is red.[(triple4)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8 OR ((triple6 ((triple6) -> rule6) triple10) -> rule4) OR ((((triple9 triple11) -> rule2) ((triple6) -> rule6) triple10) -> rule4) OR ((triple6 ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) OR ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4))] Gary is round.[(triple7)] Gary is young.[(triple6 OR ((triple9 triple11) -> rule2))] Harry is cold.[(triple12)] @1: Charlie is young.[(((triple1 triple3) -> rule2))] Gary is nice.[(((triple9 triple8 triple11) -> rule3) OR ((triple9 ((triple6 ((triple6) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((((triple9 triple11) -> rule2) ((triple6) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((triple6 ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) triple11) -> rule3) OR ((triple9 ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2)) -> rule6) triple10) -> rule4) triple11) -> rule3))] Gary is rough.[(((triple6) -> rule6) OR ((((triple9 triple11) -> rule2)) -> rule6))] @2: Charlie is rough.[(((((triple1 triple3) -> rule2)) -> rule6))] @3: Charlie is red.[(((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4))] @4: Charlie is nice.[(((triple1 ((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2)) -> rule6) triple2) -> rule4) triple3) -> rule3))]