Charlie is fat; so he appears big and round.  Charlie is also nice and kind to everyone that he meets. Big Eric is nice but also rough. Fred is young and kind.  But he plays really rough with his friends. Harry ate some rotten meat and now feels green. It's a fact that young people are red people. A young round person who is green is also red. A big person in size will definitely be rough. Folks who are nice and young with red coloration tend to feel blue. Round people are often red before they turn green. People who are nice and kind are somewhat young.
Charlie is not blue.
@0: Charlie is big.[(triple4)] Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple7)] Eric is nice.[(triple6)] Eric is rough.[(triple5 OR ((triple7) -> rule3))] Fred is kind.[(triple10)] Fred is rough.[(triple9)] Fred is young.[(triple8)] Harry is green.[(triple11)] @1: Charlie is rough.[(((triple4) -> rule3))] Charlie is young.[(((triple3 triple2) -> rule6))] Fred is red.[(((triple8) -> rule1))] @2: Charlie is red.[(((((triple3 triple2) -> rule6)) -> rule1))] @3: Charlie is blue.[(((triple2 ((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6)) -> rule1)) -> rule4))] Charlie is green.[(((triple1 ((((triple3 triple2) -> rule6)) -> rule1)) -> rule5))]