Alan is blue and cold. Bob wears all blue. Big Charlie is very nice. Though he is rough and cold he is green and still learning. Even though Fred is young, he is still very round and still very red. A cold, rough person is also round. When young, round people are cold it their skin gets a blue tinge to it. A green person who is kind and a bit blue is young. Any cold, round, green person is going to be young at the same time. A big, young aged person that is green will be round shaped.
Charlie is blue.
@0: Alan is blue.[(triple2)] Alan is cold.[(triple1)] Bob is blue.[(triple3)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Fred is red.[(triple11)] Fred is round.[(triple10)] Fred is young.[(triple9)] @1: Charlie is round.[(((triple4 triple7) -> rule1))] @2: Charlie is young.[(((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4))] @3: Charlie is blue.[(((((triple7 ((triple4 triple7) -> rule1) triple6) -> rule4) ((triple4 triple7) -> rule1) triple7) -> rule2))]