If you meet Alan, you will know that he is young, red and kind. Eric is big, but he is also nice and kind. Fred is very big for being so young. Gary has been blue because he's green with envy. When a man or woman is kind, that man or woman is red as well. Big, red, nice people are rough. Nice green people who are cold are often a but rough. A big, cold, blue person is rough around the edges. Nice people who look rough almost always appear to be green in color. A human being that's blue, rough and big is also going to be a cold human being.
Eric is not nice.
@0: Alan is kind.[(triple3)] Alan is red.[(triple2 OR ((triple3) -> rule1))] Alan is young.[(triple1)] Eric is big.[(triple6)] Eric is kind.[(triple5)] Eric is nice.[(triple4)] Fred is big.[(triple8)] Fred is young.[(triple7)] Gary is blue.[(triple10)] Gary is green.[(triple9)] @1: Eric is red.[(((triple5) -> rule1))] @2: Eric is rough.[(((((triple5) -> rule1) triple4 triple6) -> rule2))] @3: Eric is green.[(((triple4 ((((triple5) -> rule1) triple4 triple6) -> rule2)) -> rule5))]