Alan, who is young, nice, green, and blue, is also rather big shaped. In the snow sits Bob, crying from being cold. Charlie is known to be rough and green. Dave is round shaped and green colored. Someone who looks rough and feels cold is also kind to others. It's a fact that young people are red people. A young round person who is green is also red. People who are young, while being red and cold, are big people. A person who is green and rough and round is also young. Color anybody red and blue, then make them rough, and they will surely be round. Nice people who are looking green and seeing red usually feel rather rough.
Charlie is blue.
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple6)] Charlie is green.[(triple8)] Charlie is rough.[(triple7)] Dave is green.[(triple10)] Dave is round.[(triple9)] @1: Alan is red.[(((triple1) -> rule2))] @2: Alan is rough.[(((triple2 triple3 ((triple1) -> rule2)) -> rule7))] @3: Alan is round.[(((triple4 ((triple2 triple3 ((triple1) -> rule2)) -> rule7) ((triple1) -> rule2)) -> rule6))]