Young Bob is wearing green pants. Dave is a rather round fellow, but kind and nice to people. He often looks green and blue. Harry is colored red and green. He is also young, rough and very cold. Soon you will understand that big people are nice. Someone who is both red and blue will also be a nice person. Cold and kind people tend to be blue. People who are cold and and red are also young and kind.
Harry is not nice.
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Dave is round.[(triple3)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Harry is kind.[(((triple10 triple8 triple12) -> rule4))] @2: Harry is blue.[(((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3))] @3: Harry is nice.[(((triple10 ((triple12 ((triple10 triple8 triple12) -> rule4)) -> rule3)) -> rule2))]