Bob's a young guy who is big, red and round. Additionally, he's both kind and cold. Charlie was born only a few years ago so he is young. Eric looks red to most people, with blue features. Harry is round shaped and green colored. A round and nice person will certainly have a red tint to them. If a red person is cold and kind to others, they also tend to be blue. A rough and round person is also a big person. People who are big and kind and feel down and blue tend to have rough skin. Blue people who are rough are often young. Big, red things tend to have a kind spirit to them. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Bob is nice.
@0: Bob is big.[(triple6)] Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple3 triple6) -> rule6))] Bob is red.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1 OR ((((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5) OR ((((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 triple4 triple3) -> rule2)) -> rule5) OR ((((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule5))] Charlie is young.[(triple7)] Eric is blue.[(triple9)] Eric is red.[(triple8)] Harry is green.[(triple11)] Harry is round.[(triple10)] @1: Bob is blue.[(((triple5 triple4 triple3) -> rule2) OR ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2))] @2: Bob is rough.[(((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) OR ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) OR ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4))] @3: Bob is nice.[(((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 triple4 triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4 triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((triple4 triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7) OR ((((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2) ((((triple3 triple6) -> rule6) triple6 ((triple5 ((triple3 triple6) -> rule6) triple3) -> rule2)) -> rule4) triple6) -> rule7))]