Bob is kind. He is also very cold and blue. Oh, that nice, kind Charlie! He is so cold, and so big. The young person who is always feeling cold is named Dave. No one knows Gary like me and he is a kind guy, very round in the belly and green as grass. If someone is green and naive they may also have red, rough skin. It is a safe guess then that they are also round. Nice people who feel blue often look green when ill. People who are young are also blue. A kind person will certainly be young.
Bob is not rough.
@0: Bob is blue.[(triple3 OR ((((triple1) -> rule4)) -> rule3))] Bob is cold.[(triple2)] Bob is kind.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Dave is cold.[(triple9)] Dave is young.[(triple8)] Gary is green.[(triple12)] Gary is kind.[(triple11)] Gary is round.[(triple10)] @1: Bob is young.[(((triple1) -> rule4))] Charlie is young.[(((triple5) -> rule4))] Dave is blue.[(((triple8) -> rule3))] Gary is young.[(((triple11) -> rule4))] @2: Charlie is blue.[(((((triple5) -> rule4)) -> rule3))] Gary is blue.[(((((triple11) -> rule4)) -> rule3))] @3: Charlie is green.[(((triple4 ((((triple5) -> rule4)) -> rule3)) -> rule2))]