Alan has a round face and is very nice. Young Charlie got into a fight that left him with red sores on his face. Dave is a nice person who is red because he has a rash. Harry is a person both green and big. Someone who has rough nails and blue teeth as well as being kind to adults are often noted to having big fingers. Green people will be nice even when they have been rough. If someone is a bit rough, but also nice, then they qualify as round. A nice and cold person can be counted on to be a young person at the same time. People that are big but also green, may ultimately be very nice. A person that is green also someone who is big.
Alan is rough.
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Charlie is red.[(triple4)] Charlie is young.[(triple3)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Harry is big.[(triple8 OR ((triple7) -> rule6))] Harry is green.[(triple7)] @1: Harry is nice.[(((triple8 triple7) -> rule5) OR ((((triple7) -> rule6) triple7) -> rule5))] @2: Harry is rough.[(((triple7 ((triple8 triple7) -> rule5)) -> rule2) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule5)) -> rule2))] @3: Harry is round.[(((((triple8 triple7) -> rule5) ((triple7 ((triple8 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple7) -> rule6) triple7) -> rule5) ((triple7 ((triple8 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((triple8 triple7) -> rule5) ((triple7 ((((triple7) -> rule6) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple7) -> rule6) triple7) -> rule5) ((triple7 ((((triple7) -> rule6) triple7) -> rule5)) -> rule2)) -> rule3))]