Bob has a round face and is very nice. Eric is a young and nice man, and he is also very big shaped. Gary is green, which is a possible explanation for why he is so nice. Harry is known for being big and green and rough around the edges but is still kind. Right now Harry is cold from the snow. People who are nice, round and wearing blue will have red cheeks. People who are round, blue and cold are usually nice. Young people who rough around in the cold are known to be very red. Big and cold people are likely to be round, too. A green and quite rough person will also be blue. Nice people who are kind, despite their rough skin, are big hearted. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Harry is not round.
@0: Bob is nice.[(triple2)] Bob is round.[(triple1)] Eric is big.[(triple5)] Eric is nice.[(triple4)] Eric is young.[(triple3)] Gary is green.[(triple7)] Gary is nice.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is rough.[(triple8)] @1: Harry is blue.[(((triple8 triple10) -> rule5))] Harry is round.[(((triple12 triple11) -> rule4) OR ((triple11 triple9 triple12) -> rule7))] @2: Harry is nice.[(((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) OR ((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2))] @3: Harry is red.[(((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple12 triple11) -> rule4) ((triple8 triple10) -> rule5)) -> rule1) OR ((((((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5) triple11) -> rule2) ((triple11 triple9 triple12) -> rule7) ((triple8 triple10) -> rule5)) -> rule1))]