Bob is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Charlie is both young and fairly round in size. Fred is young, but very kind to others. Fred is big, with round features. Harry looks red to most people, with blue features. Cold, rough people are always green. A kind person who is green is usually round. If a nice person is round shaped, they feel blue about it. A blue and round human being will also be a green human being. Nice, kind people who look rough almost always feel cold. Young people who are nice and cold, are rather green. A green colored and rough person will be quite kind.
Charlie is red.
@0: Bob is cold.[(triple4 OR ((triple2 ((triple3 triple1) -> rule7) triple1) -> rule5))] Bob is green.[(triple3 OR ((triple4 triple1) -> rule1))] Bob is nice.[(triple2)] Bob is rough.[(triple1)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Fred is big.[(triple10)] Fred is kind.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7)] Harry is blue.[(triple12)] Harry is red.[(triple11)] @1: Bob is kind.[(((triple3 triple1) -> rule7) OR ((((triple4 triple1) -> rule1) triple1) -> rule7))] @2: Bob is round.[(((((triple3 triple1) -> rule7) triple3) -> rule2) OR ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2) OR ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2))] @3: Bob is blue.[(((triple2 ((((triple3 triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((triple3 triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) triple3) -> rule2)) -> rule3) OR ((triple2 ((((((triple4 triple1) -> rule1) triple1) -> rule7) ((triple4 triple1) -> rule1)) -> rule2)) -> rule3))]