They always call him rough Alan. They always call him rough Dave. They always say that he is so nice and kind, that is Big Fred.  But he is also round and blue. Young Harry is wearing green pants. Kind young people are red. People who are red and round are usually assumed to be green. A green person who is kind and a bit blue is young. A big person who looks blue is also going to look young. People who always wear red and act in a kind manner towards everyone they meet also have a round body. You make someone round and green, and they'll turn out nice. Nice young people who are always cold end up also being big.
Fred is not young.
@0: Alan is rough.[(triple1)] Dave is rough.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Fred is kind.[(triple5)] Fred is nice.[(triple4 OR ((triple3 ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple5) -> rule5) ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple3) -> rule2)) -> rule6) OR ((triple3 ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple5) -> rule5)) -> rule2)) -> rule6) OR ((((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple5) -> rule5) ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple5) -> rule5)) -> rule2)) -> rule6))] Fred is round.[(triple3 OR ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple5) -> rule5))] Harry is green.[(triple9)] Harry is young.[(triple8)] @1: Fred is young.[(((triple6 triple7) -> rule4))] @2: Fred is red.[(((triple5 ((triple6 triple7) -> rule4)) -> rule1))] @3: Fred is green.[(((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple3) -> rule2) OR ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) ((((triple5 ((triple6 triple7) -> rule4)) -> rule1) triple5) -> rule5)) -> rule2))]