Alan ate some rotten meat and now feels green. Because Eric is so young, he is rough and cold when he can be round instead. To be young and red like Fred is pretty nice, which Green Fred is also. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. If the description of nice and green applies to somebody, the description of young will, too. Rough people are often always nice. I've been told that big, nice people are very rough. As far as anyone can tell, whoever is kind, rough, and big is a round person. Someone who's blue, nice and round will also be someone who's green. Nice people who are kind, despite their rough skin, are big hearted. People who are nice, big, and also rough, are considered red.
Eric is nice.
@0: Alan is green.[(triple1)] Eric is cold.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Eric is young.[(triple2)] Fred is green.[(triple9)] Fred is nice.[(triple8)] Fred is red.[(triple7)] Fred is young.[(triple6 OR ((triple9 triple8) -> rule1))] Harry is blue.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Eric is nice.[(((triple4) -> rule2))] Harry is nice.[(((triple11) -> rule2))] @2: Harry is green.[(((triple12 ((triple11) -> rule2) triple10) -> rule5))] @3: Harry is young.[(((((triple12 ((triple11) -> rule2) triple10) -> rule5) ((triple11) -> rule2)) -> rule1))]