Bob wears a green and red coat, but is always cold. Dave wears a green and red coat, but is always cold. Big Gary is a young, round man. Harry is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Someone who is green and cold is, at the same time, blue in every case. Nice people flushing red are always young. Blue people are known the world over as nice people. Big, red, nice people are rough. When you put together rough, red and big in the same person, they come out nice.
Dave is not young.
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is red.[(triple1)] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is red.[(triple4)] Gary is big.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10 OR ((triple12) -> rule3))] @1: Bob is blue.[(((triple2 triple3) -> rule1))] Dave is blue.[(((triple5 triple6) -> rule1))] @2: Bob is nice.[(((((triple2 triple3) -> rule1)) -> rule3))] Dave is nice.[(((((triple5 triple6) -> rule1)) -> rule3))] @3: Bob is young.[(((triple1 ((((triple2 triple3) -> rule1)) -> rule3)) -> rule2))] Dave is young.[(((triple4 ((((triple5 triple6) -> rule1)) -> rule3)) -> rule2))]