Dave tends to be nice, but is young. Dave has rough blue skin. Red Eric is what folks call him, because he is quite red. Even though he's a big dude, Fred is cold. Big Harry is young and rough but also very nice in a green sorta way. Rough people are often round. A green person who is kind and a bit blue is young. A big blue someone could also be green. A person described as cold and kind can also be described as nice. Someone who is blue and cold is also big. A rough and round shaped person will be nice and also young. A blue, rough and round person will also be a big person.
Dave is not green.
@0: Dave is blue.[(triple4)] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is young.[(triple1 OR ((triple2 ((triple2) -> rule1) triple3) -> rule6))] Eric is red.[(triple5)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is nice.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8 OR ((triple9 ((triple9) -> rule1) triple10) -> rule6))] @1: Dave is round.[(((triple2) -> rule1))] Harry is round.[(((triple9) -> rule1))] @2: Dave is big.[(((triple4 triple2 ((triple2) -> rule1)) -> rule7))] @3: Dave is green.[(((triple4 ((triple4 triple2 ((triple2) -> rule1)) -> rule7)) -> rule3))]