Bob is big and green, which is good, because he is also cold and blue. Dave is big and rough. Harry wears all blue. A rough textured and cold person is definitely young. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. Surprisingly, all the kind, green people were also big. Rough people are often always nice. If you can find someone who is nice and red, then be relieved that they are certain to be kind. People who always wear red and act in a kind manner towards everyone they meet also have a round body. Anyone that's rough and cold is also going to be blue.
Dave is not green.
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is green.[(triple1)] Dave is big.[(triple6)] Dave is rough.[(triple5)] Harry is blue.[(triple7)] @1: Dave is nice.[(((triple5) -> rule4))] @2: Dave is cold.[(((triple5 triple6 ((triple5) -> rule4)) -> rule2))] @3: Dave is blue.[(((((triple5 triple6 ((triple5) -> rule4)) -> rule2) triple5) -> rule7))] Dave is young.[(((triple5 ((triple5 triple6 ((triple5) -> rule4)) -> rule2)) -> rule1))]