Dave is red when he is rough and blue when he is kind. Eric is big and rough. Gary is big and dresses in blue. People who are blue and red and kind are described as being green. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A person who is green and rough and round is also young. A kind person who is green is usually round. Anyone with red and blue coloration also has green coloration.
Dave is not blue.
@0: Dave is blue.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Eric is big.[(triple6)] Eric is rough.[(triple5)] Gary is big.[(triple8)] Gary is blue.[(triple7)] @1: Dave is green.[(((triple2 triple4) -> rule5) OR ((triple2 triple3 triple4) -> rule1))] @2: Dave is round.[(((triple3 ((triple2 triple4) -> rule5)) -> rule4) OR ((triple3 ((triple2 triple3 triple4) -> rule1)) -> rule4))] @3: Dave is young.[(((((triple3 ((triple2 triple4) -> rule5)) -> rule4) triple1 ((triple2 triple4) -> rule5)) -> rule3) OR ((((triple3 ((triple2 triple4) -> rule5)) -> rule4) triple1 ((triple2 triple3 triple4) -> rule1)) -> rule3) OR ((((triple3 ((triple2 triple3 triple4) -> rule1)) -> rule4) triple1 ((triple2 triple4) -> rule5)) -> rule3) OR ((((triple3 ((triple2 triple3 triple4) -> rule1)) -> rule4) triple1 ((triple2 triple3 triple4) -> rule1)) -> rule3))]