Alan who is young and nice is also quite big and feels green. That guy Charlie sure is nice. Fred is a big fellow, often blue and sad, but he is nice. People here that are both big and kind while being cold are always red. A blue colored person who is nice is a red person. If you run across a young person with rough skin and a round figure, you can count on them being kind. Every person I met that was cold and round was also red. Any person who can be red and blue at the same time is cold. People who are young are also blue.
Dave is round.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Charlie is nice.[(triple5)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is nice.[(triple6)] @1: Alan is blue.[(((triple1) -> rule6))] Fred is red.[(((triple6 triple7) -> rule2))] @2: Alan is red.[(((triple2 ((triple1) -> rule6)) -> rule2))] Fred is cold.[(((((triple6 triple7) -> rule2) triple7) -> rule5))] @3: Alan is cold.[(((((triple2 ((triple1) -> rule6)) -> rule2) ((triple1) -> rule6)) -> rule5))]