Dave is a person who is young and also rough. He's also someone who is big and blue. Eric ate some rotten meat and now feels green. Red Fred is what folks call him, because he is quite red. Young Gary is a round fellow: sometimes nice, sometimes rough. A nice green person that tends to be rough will indeed be round too. Young and nice people have great big smiles. A big and young, round someone looks red. Blue people who are rough are often young. Humans who are nice to others while they are young and red will also be green.
Dave is not red.
@0: Dave is big.[(triple4)] Dave is blue.[(triple3)] Dave is rough.[(triple2)] Dave is young.[(triple1 OR ((triple2 triple3) -> rule4))] Eric is green.[(triple5)] Fred is red.[(triple6)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Gary is big.[(((triple7 triple10) -> rule2))] @2: Gary is red.[(((((triple7 triple10) -> rule2) triple7 triple8) -> rule3))] @3: Gary is green.[(((triple10 triple7 ((((triple7 triple10) -> rule2) triple7 triple8) -> rule3)) -> rule5))]