Alan is a big fellow, often blue and sad, but he is nice. Charlie, a kind young person is always feeling blue. Eric is a really nice guy with a big round body, usually wearing red. Fred may be round, but he is also kind. Young, red people are usually quite blue too. Big people who are red in color are almost always young. Big people who are blue and red are afflicted with rough skin. If someone shows that they are red, then they are also showing that they are green. A kind person who looks blue because he is is cold is usually big in stature. A person who is green, blue, and red in color will be round shaped. When a person is blue, rough and kind then it means they also are cold.
Eric is not young.
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is nice.[(triple1)] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is young.[(triple4)] Eric is big.[(triple10)] Eric is nice.[(triple9)] Eric is red.[(triple8)] Eric is round.[(triple7 OR ((((triple8) -> rule4) ((triple8 ((triple10 triple8) -> rule2)) -> rule1) triple8) -> rule6))] Fred is kind.[(triple12)] Fred is round.[(triple11)] @1: Eric is green.[(((triple8) -> rule4))] Eric is young.[(((triple10 triple8) -> rule2))] @2: Eric is blue.[(((triple8 ((triple10 triple8) -> rule2)) -> rule1))] @3: Eric is rough.[(((((triple8 ((triple10 triple8) -> rule2)) -> rule1) triple8 triple10) -> rule3))]