Even though Alan is round and big, he is very kind. Charlie came out and showed us how young, kind, cold, and big he was. That guy Eric sure is nice. Fred may be young but he is nice, wears green shoes and is cold. When a person is nice and round and cold, they look blue. It seems that a cold person who is round and nice will be green. People that are green and big while also being cold are always nice. Most big and cold people are also rough. Every person I met that was cold and round was also red. A young person who is big and rough and big is also usually round. Red people, who are also round and young, are often quite blue as well.
Charlie is green.
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is round.[(triple1)] Charlie is big.[(triple7)] Charlie is cold.[(triple6)] Charlie is kind.[(triple5)] Charlie is young.[(triple4)] Eric is nice.[(triple8)] Fred is cold.[(triple12)] Fred is green.[(triple11)] Fred is nice.[(triple10)] Fred is young.[(triple9)] @1: Charlie is rough.[(((triple7 triple6) -> rule4))] @2: Charlie is round.[(((((triple7 triple6) -> rule4) triple7 triple4) -> rule6))] @3: Charlie is red.[(((triple6 ((((triple7 triple6) -> rule4) triple7 triple4) -> rule6)) -> rule5))] @4: Charlie is blue.[(((((triple6 ((((triple7 triple6) -> rule4) triple7 triple4) -> rule6)) -> rule5) ((((triple7 triple6) -> rule4) triple7 triple4) -> rule6) triple4) -> rule7))]