Alan is a kind person and he is also often cold. Look, we know Dave is young and rough. We have to accept he's also red, nice, cold, and blue. Harry is a really nice guy with a big round body, usually wearing red. Every time you meet someone kind and nice, they'll be green, too. Not a single young person is not also kind. Watch out for young people that are kind for they are rough. If you ever meet someone who is both green and blue while being nice, then they'll be big, too. People who are young are also blue.
Fred is kind.
@0: Alan is cold.[(triple2)] Alan is kind.[(triple1)] Dave is blue.[(triple8 OR ((triple3) -> rule5))] Dave is cold.[(triple7)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4 OR ((((triple3) -> rule2) triple3) -> rule3))] Dave is young.[(triple3)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Dave is kind.[(((triple3) -> rule2))] @2: Dave is green.[(((((triple3) -> rule2) triple6) -> rule1))] @3: Dave is big.[(((((((triple3) -> rule2) triple6) -> rule1) triple8 triple6) -> rule4) OR ((((((triple3) -> rule2) triple6) -> rule1) ((triple3) -> rule5) triple6) -> rule4))]