Bob is very big for being so young. Charlie wears a green and red coat, but is always cold. Gary feels blue because the other kids made fun of his round shape. Harry, the big, round fellow over there, is an odd mix of green and blue. When a man or woman is kind, that man or woman is red as well. If you are green and also red, then you are young. All persons who are big are also kind. Any nice, red, cold fellow is young. Somebody that is green, young and big is also going to be round. A person that has cold, big, nice qualities will also possess a rough quality.
Bob is not kind.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple5)] Charlie is green.[(triple4)] Charlie is red.[(triple3)] Gary is blue.[(triple7)] Gary is round.[(triple6)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is green.[(triple9)] Harry is round.[(triple8 OR ((triple9 triple11 ((triple9 ((((triple11) -> rule3)) -> rule1)) -> rule2)) -> rule5))] @1: Bob is kind.[(((triple2) -> rule3))] Charlie is young.[(((triple4 triple3) -> rule2))] Harry is kind.[(((triple11) -> rule3))] @2: Bob is red.[(((((triple2) -> rule3)) -> rule1))] Harry is red.[(((((triple11) -> rule3)) -> rule1))] @3: Harry is young.[(((triple9 ((((triple11) -> rule3)) -> rule1)) -> rule2))]