Round Bob is big and red, but blue from the cold. Because Gary, who is young, loves to eat he is quite round.  Sometimes that makes him feel blue and get rough with people who make fun of him.  But he is actually quite kind. Harry is a person both green and big. A male or female with rough, kind and round traits will surely have a nice quality, as well. Red people feel blue about it. It's said that any person with blue skin, round bones, and big feet is kind. It is true that anyone who is cold while being young and nice is secretly a kind person. Big and cold people are likely to be round, too. If a rather cold person is also kind then they are probably rough. They found the ones that were round, blue, and green to be nice.
Dave is not blue.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple2) -> rule2))] Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1 OR ((triple5 triple3) -> rule5))] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] Harry is big.[(triple12)] Harry is green.[(triple11)] @1: Bob is kind.[(((triple4 triple1 triple5) -> rule3) OR ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) OR ((((triple2) -> rule2) triple1 triple5) -> rule3) OR ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3))] Gary is nice.[(((triple8 triple9 triple7) -> rule1))] @2: Bob is rough.[(((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6))] @3: Bob is nice.[(((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) triple1 triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((triple4 ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) triple1 triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) triple1) -> rule1) OR ((((triple3 ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3)) -> rule6) ((((triple2) -> rule2) ((triple5 triple3) -> rule5) triple5) -> rule3) ((triple5 triple3) -> rule5)) -> rule1))]