Big, round Bob is cold and very green. Dave is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. Eric who is big in stature is almost always nice even when he is cold. Gary always goes out of his way to show that he is kind to people. People who are nice, round and wearing blue will have red cheeks. A person who is cold with a red nose will be feeling blue. Someone who is not only rough and big but also nice will necessarily be round as well. A nice and cold person can be counted on to be a young person at the same time. A person that is the color red will definitely be round shaped. A nice young person will be rough in texture.
Gary is nice.
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is round.[(triple1)] Dave is cold.[(triple8)] Dave is green.[(triple7)] Dave is nice.[(triple6)] Dave is rough.[(triple5 OR ((((triple6 triple8) -> rule4) triple6) -> rule6))] Eric is big.[(triple11)] Eric is cold.[(triple10)] Eric is nice.[(triple9)] Gary is kind.[(triple12)] @1: Dave is young.[(((triple6 triple8) -> rule4))] Eric is young.[(((triple9 triple10) -> rule4))] @2: Eric is rough.[(((((triple9 triple10) -> rule4) triple9) -> rule6))] @3: Eric is round.[(((((((triple9 triple10) -> rule4) triple9) -> rule6) triple11 triple9) -> rule3))]