Alan looks red to most people, with blue features. Fred was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. Pick someone blue, kind and big, and they are certain to be green as well. A person who is nice and green with envy is round. Red and round people are nice to others even though they are big. A big and round shaped person that is also cold will be blue in color. Kind young people that are still blue are generally round shaped. You will always find a cold, rough, red person to also be a round person. All men who happen to be red and big, will also be blue.
Fred is round.
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Fred is blue.[(triple8 OR ((triple4 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule7) OR ((triple7 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3) ((triple7 triple3 triple4) -> rule6)) -> rule4))] Fred is cold.[(triple7)] Fred is kind.[(triple6)] Fred is nice.[(triple5)] Fred is red.[(triple4)] Fred is rough.[(triple3)] @1: Fred is round.[(((triple7 triple3 triple4) -> rule6))] @2: Fred is big.[(((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3))] @3: Fred is green.[(((triple8 triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple4 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule7) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1) OR ((((triple7 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3) ((triple7 triple3 triple4) -> rule6)) -> rule4) triple6 ((triple5 ((triple7 triple3 triple4) -> rule6) triple4) -> rule3)) -> rule1))]