Though he is young, Alan is still nice despite being quite blue. In the snow sits Dave, crying from being cold. That cold kind hearted man over there with the round body, red nose, and rough blue hsirt is named Fred. Harry wears all blue. Kind big people are green and young. Don't be surprised to hear that all nice, kind folks are in fact rough. A person that is feeling blue and slightly big, is red as well. A person who is green and kind is usually rather big. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind. Nice green people who feel blue are often red in color. Anyone who's blue is also green.
Alan is not big.
@0: Alan is blue.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple4)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Fred is kind.[(triple8)] Fred is red.[(triple7 OR ((((((triple10) -> rule7) triple8) -> rule4) triple10) -> rule3))] Fred is rough.[(triple6)] Fred is round.[(triple5)] Harry is blue.[(triple11)] @1: Alan is green.[(((triple3) -> rule7))] Fred is green.[(((triple10) -> rule7))] Harry is green.[(((triple11) -> rule7))] @2: Alan is red.[(((((triple3) -> rule7) triple3 triple2) -> rule6))] Fred is big.[(((((triple10) -> rule7) triple8) -> rule4))] @3: Fred is young.[(((triple8 ((triple10) -> rule7) ((((triple10) -> rule7) triple8) -> rule4)) -> rule1))]