Alan is so young and darling he is kind to all the old people on the block. Bob is big and rough. Eric is a kind and red colored guy. Fred is a young guy who is also round, red, kind, cold and blue. Young, green round people are big. Red and round people are nice to others even though they are big. Red, young people are for the most part round too. Someone who's young and frosty cold are actually very nice. An individual who is big and nice is also green. Everyone knows that if you are cold, kind, and big, it goes without saying that you are round.
Fred is green.
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple4)] Bob is rough.[(triple3)] Eric is kind.[(triple6)] Eric is red.[(triple5)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is kind.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8 OR ((triple9 triple7) -> rule3))] Fred is young.[(triple7)] @1: Fred is nice.[(((triple7 triple11) -> rule4))] @2: Fred is big.[(((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) OR ((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2))] @3: Fred is green.[(((((((triple7 triple11) -> rule4) triple8 triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5) OR ((((((triple7 triple11) -> rule4) ((triple9 triple7) -> rule3) triple9) -> rule2) ((triple7 triple11) -> rule4)) -> rule5))]