Alan was born only a few years ago so he is young. Dave wears all blue. If you had seen the young round Fred you'd never believe he was the same red, green and rough Fred of today. Gary is big and dresses in blue. A big young person that is green will be cold to others. A kind and big person is young. You can tell if someone is big, kind, and young, then they are also nice. It is true that anyone who is cold while being young and nice is secretly a kind person. A big and blue colored person is also certainly very kind. A big and rough person who is blue is also considered to be green. People who are nice, big, and also rough, are considered red.
Gary is not young.
@0: Alan is young.[(triple1)] Dave is blue.[(triple2)] Fred is green.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4)] Fred is young.[(triple3)] Gary is big.[(triple9)] Gary is blue.[(triple8)] @1: Gary is kind.[(((triple8 triple9) -> rule5))] @2: Gary is young.[(((triple9 ((triple8 triple9) -> rule5)) -> rule2))] @3: Gary is nice.[(((triple9 ((triple8 triple9) -> rule5) ((triple9 ((triple8 triple9) -> rule5)) -> rule2)) -> rule3))]