Dave may be round, but he is also kind. Fred is colored red and blue. He is also young, quite round, and cold. Green, big and red are qualities which all describe Harry. Folks who are rough and tumble yet gentle and kind are blue. When someone is kind yet can be cold and blue, they will also be very big. If you come across a young, blue person you can count on them being nice to you. An individual with the traits of being nice, red, and cold is also round. Young people are nice and cold are kind to people regardless.
Dave is not big.
@0: Dave is kind.[(triple2)] Dave is round.[(triple1)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4 OR ((((triple7 triple3) -> rule3) triple5 triple6) -> rule4))] Fred is young.[(triple3)] Harry is big.[(triple10)] Harry is green.[(triple9)] Harry is red.[(triple8)] @1: Fred is nice.[(((triple7 triple3) -> rule3))] @2: Fred is kind.[(((triple6 ((triple7 triple3) -> rule3) triple3) -> rule5))] @3: Fred is big.[(((((triple6 ((triple7 triple3) -> rule3) triple3) -> rule5) triple6 triple7) -> rule2))]