Alan looks red to most people, with blue features. Eric is a man who is both round and rough. Gary is big and dresses in blue. There is a very nice young man with a round body who is wearing green named Harry. Kind, young, green persons are sure to be rough persons, too. A rough person who is young and nice is also red. Humans who are nice to others while they are young and red will also be green. Young people are rough. A green and red colored person who has a nice temperament will be cold. Anyone that's described as young, kind and blue can be said to be cold, too.
Harry is not kind.
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Gary is big.[(triple6)] Gary is blue.[(triple5)] Harry is green.[(triple10 OR ((triple9 triple7 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule3))] Harry is nice.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Harry is rough.[(((triple7) -> rule4))] @2: Harry is red.[(((triple7 triple9 ((triple7) -> rule4)) -> rule2))] @3: Harry is cold.[(((triple10 triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5) OR ((((triple9 triple7 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule3) triple9 ((triple7 triple9 ((triple7) -> rule4)) -> rule2)) -> rule5))]