Eric who is considered nice was feeling rather rough today. Fred is a man who is both round and rough. Gary is a nice, kind young man that is feeling rather blue -- he is also green. Harry is a very kind, green but sometimes cold person. A person that is nice and young is also going to be a person that is rough. When you know someone who is young and green you can count on them being nice to everyone. It's been proven that red, rough people are green as well. A round shaped and red person is definitely nice. Have you noticed that green and round folks are also so young. A round person will also be red.
Gary is not red.
@0: Eric is nice.[(triple2)] Eric is rough.[(triple1)] Fred is rough.[(triple4)] Fred is round.[(triple3)] Gary is blue.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] Gary is nice.[(triple6 OR ((triple5 triple8) -> rule2))] Gary is young.[(triple5)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10)] @1: Fred is red.[(((triple3) -> rule6))] Gary is rough.[(((triple6 triple5) -> rule1) OR ((((triple5 triple8) -> rule2) triple5) -> rule1))] @2: Fred is green.[(((((triple3) -> rule6) triple4) -> rule3))] Fred is nice.[(((triple3 ((triple3) -> rule6)) -> rule4) OR ((((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5) ((((triple3) -> rule6) triple4) -> rule3)) -> rule2))] @3: Fred is young.[(((((((triple3) -> rule6) triple4) -> rule3) triple3) -> rule5))]