That rough but kind guy is Bob, the green one. The big young man with the round body who seems to be having a rough time due to being green is named Charlie. Dave, like all young people, is nice. Eric is blue and cold. Kind young people are red. A big round person is nice. Big people who are red in color are often nice. A rough and round person is also a big person. Red and kind people always seem to be big as well. All men who happen to be red and big, will also be blue. People who are rough are often rather kind as well.
Dave is not green.
@0: Bob is green.[(triple3)] Bob is kind.[(triple2 OR ((triple1) -> rule7))] Bob is rough.[(triple1)] Charlie is big.[(triple8 OR ((triple5 triple6) -> rule4) OR ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5))] Charlie is green.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Charlie is young.[(triple4)] Dave is nice.[(triple10)] Dave is young.[(triple9)] Eric is blue.[(triple12)] Eric is cold.[(triple11)] @1: Charlie is kind.[(((triple6) -> rule7))] Charlie is nice.[(((triple5 triple8) -> rule2) OR ((triple5 ((triple5 triple6) -> rule4)) -> rule2) OR ((triple8 ((((triple6) -> rule7) triple4) -> rule1)) -> rule3) OR ((((triple5 triple6) -> rule4) ((((triple6) -> rule7) triple4) -> rule1)) -> rule3) OR ((triple5 ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5) ((((triple6) -> rule7) triple4) -> rule1)) -> rule3))] @2: Charlie is red.[(((((triple6) -> rule7) triple4) -> rule1))] @3: Charlie is blue.[(((((((triple6) -> rule7) triple4) -> rule1) triple8) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((triple5 triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule7) triple4) -> rule1) ((((((triple6) -> rule7) triple4) -> rule1) ((triple6) -> rule7)) -> rule5)) -> rule6))]