Bob is kind. He is also very cold and blue. Look, we know Dave is young and rough. We have to accept he's also red, nice, cold, and blue. After Harry got wet in the rain, he feels cold. He also looks green but big. Rough, cold people are blue. If a person happens to be big kind and red at the same time they are a young person. A kind person will certainly be rough as well. Do not fear big cold people for they are often kind. A person who is rough and young while being kind tends to be red.
Harry is red.
@0: Bob is blue.[(triple3 OR ((((triple1) -> rule3) triple2) -> rule1))] Bob is cold.[(triple2)] Bob is kind.[(triple1)] Dave is blue.[(triple9 OR ((triple5 triple8) -> rule1))] Dave is cold.[(triple8)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] @1: Bob is rough.[(((triple1) -> rule3))] Harry is kind.[(((triple11 triple12) -> rule4))] @2: Harry is rough.[(((((triple11 triple12) -> rule4)) -> rule3))] @3: Harry is blue.[(((((((triple11 triple12) -> rule4)) -> rule3) triple11) -> rule1))]