Bob is big and rough looking but is very nice and kind. Dave looks red to most people, with blue features. Gary was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Harry is both young and fairly round in size. People who can be kind when they are cold are fundamentally nice. Nice young people who are round are also blue. Every time I see a young blue nice person I know they are also red. People who are round and young are also very nice. Find someone big, blue, and kind, and you'll see they are also quite young. Young,cold and blue people are mostly round. Anyone who's blue is also green.
Dave is not cold.
@0: Bob is big.[(triple4)] Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple6)] Dave is red.[(triple5)] Gary is blue.[(triple9)] Gary is green.[(triple8 OR ((triple9) -> rule7))] Gary is round.[(triple7)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Dave is green.[(((triple6) -> rule7))] Harry is nice.[(((triple11 triple10) -> rule4))] @2: Harry is blue.[(((((triple11 triple10) -> rule4) triple10 triple11) -> rule2))] @3: Harry is green.[(((((((triple11 triple10) -> rule4) triple10 triple11) -> rule2)) -> rule7))] Harry is red.[(((((triple11 triple10) -> rule4) triple10 ((((triple11 triple10) -> rule4) triple10 triple11) -> rule2)) -> rule3))]