Alan is young and kind.  But he plays really rough with his friends. Charlie is very nice to people, but he's also rather big. Dave ate some rotten meat and now feels green. You should meet Fred, he is big and rough on the football field but also very young in age. Young and rough people tend to be green too. Any green person is a round person. If a red and blue person is also kind to people that means they are rough as well. If someone is colored red but is cold, they tend to show a lot of green. Young, round people seem to be big in our experience.
Alan is round.
@0: Alan is kind.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple5)] Charlie is nice.[(triple4)] Dave is green.[(triple6)] Fred is big.[(triple9 OR ((triple7 ((((triple7 triple8) -> rule1)) -> rule2)) -> rule5))] Fred is rough.[(triple8)] Fred is young.[(triple7)] @1: Alan is green.[(((triple1 triple2) -> rule1))] Dave is round.[(((triple6) -> rule2))] Fred is green.[(((triple7 triple8) -> rule1))] @2: Alan is round.[(((((triple1 triple2) -> rule1)) -> rule2))] Fred is round.[(((((triple7 triple8) -> rule1)) -> rule2))] @3: Alan is big.[(((triple1 ((((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]