Bob is very big for being so young. Dave is a big and round man with blue eyes. He is rough at times, making him a cold and blue person. Gary is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. People who are young and a bit round in shape are green and inexperienced in life. I have found that young, red people, that are also round have big cheeks too. A green young person will certainly be nice as well. People here that are big, young and blue will be red too. Someone who's big, especially nice, and also cold at the same time can only be young. A human being that's blue, rough and big is also going to be a cold human being. Big and round people,though cold,are often nice.
Gary is not green.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is cold.[(triple5 OR ((triple7 triple6 triple4) -> rule6))] Dave is rough.[(triple4)] Dave is round.[(triple3)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] @1: Dave is nice.[(((triple7 triple3 triple5) -> rule7) OR ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7))] @2: Dave is young.[(((triple7 ((triple7 triple3 triple5) -> rule7) triple5) -> rule5) OR ((triple7 ((triple7 triple3 triple5) -> rule7) ((triple7 triple6 triple4) -> rule6)) -> rule5) OR ((triple7 ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7) triple5) -> rule5) OR ((triple7 ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7) ((triple7 triple6 triple4) -> rule6)) -> rule5))] @3: Dave is green.[(((((triple7 ((triple7 triple3 triple5) -> rule7) triple5) -> rule5) triple3) -> rule1) OR ((((triple7 ((triple7 triple3 triple5) -> rule7) ((triple7 triple6 triple4) -> rule6)) -> rule5) triple3) -> rule1) OR ((((triple7 ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7) triple5) -> rule5) triple3) -> rule1) OR ((((triple7 ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7) ((triple7 triple6 triple4) -> rule6)) -> rule5) triple3) -> rule1))] Dave is red.[(((triple6 ((triple7 ((triple7 triple3 triple5) -> rule7) triple5) -> rule5) triple7) -> rule4) OR ((triple6 ((triple7 ((triple7 triple3 triple5) -> rule7) ((triple7 triple6 triple4) -> rule6)) -> rule5) triple7) -> rule4) OR ((triple6 ((triple7 ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7) triple5) -> rule5) triple7) -> rule4) OR ((triple6 ((triple7 ((triple7 triple3 ((triple7 triple6 triple4) -> rule6)) -> rule7) ((triple7 triple6 triple4) -> rule6)) -> rule5) triple7) -> rule4))]