Charlie has been blue because he's green with envy. Eric has been blue because he's green with envy. Fred has been blue because he's green with envy. Gary is a very nice man who is kind to everyone and has a round body that makes him feel blue when he wears red. When a man or woman is kind, that man or woman is red as well. If you are green and also red, then you are young. Round blue people are said to be very kind. Any nice, red, cold fellow is young. If someone is round they could be red or blue, or green. A guy or girl that's round, kind and young is going to be a big girl or guy, too.
Gary is not big.
@0: Charlie is blue.[(triple2)] Charlie is green.[(triple1)] Eric is blue.[(triple4)] Eric is green.[(triple3)] Fred is blue.[(triple6)] Fred is green.[(triple5)] Gary is blue.[(triple11)] Gary is kind.[(triple10 OR ((triple11 triple7) -> rule3))] Gary is nice.[(triple9)] Gary is red.[(triple8 OR ((triple10) -> rule1) OR ((((triple11 triple7) -> rule3)) -> rule1))] Gary is round.[(triple7)] @1: Gary is green.[(((triple8 triple11 triple7) -> rule5) OR ((((triple10) -> rule1) triple11 triple7) -> rule5) OR ((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5))] @2: Gary is young.[(((((triple8 triple11 triple7) -> rule5) triple8) -> rule2) OR ((((triple8 triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) OR ((((((triple10) -> rule1) triple11 triple7) -> rule5) triple8) -> rule2) OR ((((triple8 triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) OR ((((((triple10) -> rule1) triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) OR ((((((triple10) -> rule1) triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) triple8) -> rule2) OR ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) OR ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2))] @3: Gary is big.[(((triple7 ((((triple8 triple11 triple7) -> rule5) triple8) -> rule2) triple10) -> rule6) OR ((triple7 ((((triple8 triple11 triple7) -> rule5) triple8) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((triple8 triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) triple10) -> rule6) OR ((triple7 ((((triple8 triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((triple10) -> rule1) triple11 triple7) -> rule5) triple8) -> rule2) triple10) -> rule6) OR ((triple7 ((((triple8 triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) triple10) -> rule6) OR ((triple7 ((((((triple10) -> rule1) triple11 triple7) -> rule5) triple8) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((triple10) -> rule1) triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) triple10) -> rule6) OR ((triple7 ((((triple8 triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((triple10) -> rule1) triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((triple10) -> rule1) triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) triple10) -> rule6) OR ((triple7 ((((((triple10) -> rule1) triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) triple8) -> rule2) triple10) -> rule6) OR ((triple7 ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) triple8) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) triple10) -> rule6) OR ((triple7 ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) ((triple10) -> rule1)) -> rule2) ((triple11 triple7) -> rule3)) -> rule6) OR ((triple7 ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) triple10) -> rule6) OR ((triple7 ((((((((triple11 triple7) -> rule3)) -> rule1) triple11 triple7) -> rule5) ((((triple11 triple7) -> rule3)) -> rule1)) -> rule2) ((triple11 triple7) -> rule3)) -> rule6))]