That guy Alan sure is nice. That guy Eric sure is nice. Fred is a big guy who is colored red from a sunburn. He also has a cold. Gary is young, round and kind with green ideas and wears blue clothes. Kind people that are red and round are usually big. Nice round big people are kind to others. Rough, cold people are blue. Anyone feeling cold is bound to act nice. When someone is green and round, they can be rough but kind. A nice person is inevitably round as well. Young and red people look round.
Eric is round.
@0: Alan is nice.[(triple1)] Eric is nice.[(triple2)] Fred is big.[(triple5)] Fred is cold.[(triple4)] Fred is red.[(triple3)] Gary is blue.[(triple10)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is round.[(triple7)] Gary is young.[(triple6)] @1: Alan is round.[(((triple1) -> rule6))] Eric is round.[(((triple2) -> rule6))] Fred is nice.[(((triple4) -> rule4))] @2: Fred is round.[(((((triple4) -> rule4)) -> rule6))] @3: Fred is kind.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule6) triple5) -> rule2))]