Bob wears all blue. That guy Fred is big, but he's always kind to little ones. Gary is a nice and red, but very kind person as soon as you meet him. Big blue Harry is nice and young. Cold and rough people will also surely be round shaped. Nice and blue people have to be big as well. Lucky for us, people that are round and red are kind to strangers. It is true that anyone who is cold while being young and nice is secretly a kind person. Anyone who's got young, round and big traits is bound to have a red trait, too. If a person behaves in a nice way while they are physically blue and big, they're definitely round. People who are described as young, green, and big are often considered rough.
Gary is not kind.
@0: Bob is blue.[(triple1)] Fred is big.[(triple3)] Fred is kind.[(triple2)] Gary is kind.[(triple6)] Gary is nice.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple10 OR ((triple8 triple9) -> rule2))] Harry is blue.[(triple9)] Harry is nice.[(triple8)] Harry is young.[(triple7)] @1: Harry is round.[(((triple8 triple9 triple10) -> rule6) OR ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6))] @2: Harry is red.[(((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5) OR ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5))] @3: Harry is kind.[(((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 triple10) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 triple10 ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3) OR ((((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6) ((triple7 ((triple8 triple9) -> rule2) ((triple8 triple9 ((triple8 triple9) -> rule2)) -> rule6)) -> rule5)) -> rule3))]