Alan is round shaped and green colored. Young Dave is wearing green pants. Even though Fred is big and round, he is cold much of the time. If you met Gary you will see that he is round and red, but he is cold. If people are nice and round, they look red. A rough, big soul is sure to be nice, too. I've noticed that someone with a round shape is also green. Round and big people are sure to be rough. Blue and red people who are young always have rough skin.
Gary is not rough.
@0: Alan is green.[(triple2 OR ((triple1) -> rule3))] Alan is round.[(triple1)] Dave is green.[(triple4)] Dave is young.[(triple3)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is round.[(triple5)] Gary is cold.[(triple10)] Gary is red.[(triple9)] Gary is round.[(triple8)] @1: Fred is green.[(((triple5) -> rule3))] Fred is rough.[(((triple5 triple7) -> rule4))] Gary is green.[(((triple8) -> rule3))] @2: Fred is nice.[(((((triple5 triple7) -> rule4) triple7) -> rule2))] @3: Fred is red.[(((((((triple5 triple7) -> rule4) triple7) -> rule2) triple5) -> rule1))]