Bob is young and is kind.  Being big makes Bob blue. Dave is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Gary feels blue because the other kids made fun of his round shape. Harry is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Big, young people have a tendancy to be blue. Some who is round in shape, but who is also cold and kind is often always nice. Kind people that happen to be cold are round. A young person that is also big and round is usually though of as green,. Young people who are big are often rough. If a person is both rough and round, you know they are also red. A human being that's blue, rough and big is also going to be a cold human being.
Dave is not blue.
@0: Bob is big.[(triple4)] Bob is blue.[(triple3 OR ((triple1 triple4) -> rule1))] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple7)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Gary is blue.[(triple9)] Gary is round.[(triple8)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Bob is rough.[(((triple1 triple4) -> rule5))] @2: Bob is cold.[(((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7) OR ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7))] @3: Bob is round.[(((triple2 ((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7)) -> rule3) OR ((triple2 ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7)) -> rule3))] @4: Bob is green.[(((triple1 triple4 ((triple2 ((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule4) OR ((triple1 triple4 ((triple2 ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule4))] Bob is nice.[(((((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7) triple2 ((triple2 ((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule2) OR ((((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7) triple2 ((triple2 ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule2) OR ((((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7) triple2 ((triple2 ((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule2) OR ((((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7) triple2 ((triple2 ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule2))] Bob is red.[(((((triple1 triple4) -> rule5) ((triple2 ((triple4 triple3 ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule6) OR ((((triple1 triple4) -> rule5) ((triple2 ((triple4 ((triple1 triple4) -> rule1) ((triple1 triple4) -> rule5)) -> rule7)) -> rule3)) -> rule6))]