We know Charlie is round and red, yet somehow he is also green, in addition to being cold, blue, and big. Dave has green teeth and rough skin. People also notice his blue eyes. Gary had big, red, round cheeks. We called someone with green, round eyes, blue for some reason. Red, kind, young people will be rough people, too. People who are rough, round in shape, and big in stature are usuallu blue in color. Green and blue, when found in one person, signify someone who is cold. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A kind person who is big in size is definitely young. Round and somewhat big people manage to be kind to everyone.
Fred is blue.
@0: Charlie is big.[(triple6)] Charlie is blue.[(triple5 OR ((triple3 triple1) -> rule1) OR ((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3))] Charlie is cold.[(triple4 OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple3 triple1) -> rule1)) -> rule4) OR ((triple3 ((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3)) -> rule4))] Charlie is green.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Dave is blue.[(triple9)] Dave is green.[(triple8)] Dave is rough.[(triple7)] Gary is big.[(triple12)] Gary is red.[(triple11)] Gary is round.[(triple10)] @1: Charlie is kind.[(((triple1 triple6) -> rule7))] Charlie is nice.[(((triple5 triple2 triple1) -> rule5) OR ((((triple3 triple1) -> rule1) triple2 triple1) -> rule5) OR ((((((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2) triple1 triple6) -> rule3) triple2 triple1) -> rule5))] Dave is cold.[(((triple8 triple9) -> rule4))] Gary is kind.[(((triple10 triple12) -> rule7))] @2: Charlie is young.[(((((triple1 triple6) -> rule7) triple6) -> rule6))] Gary is young.[(((((triple10 triple12) -> rule7) triple12) -> rule6))] @3: Charlie is rough.[(((((((triple1 triple6) -> rule7) triple6) -> rule6) ((triple1 triple6) -> rule7) triple2) -> rule2))] Gary is rough.[(((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2))] @4: Gary is blue.[(((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3))] @5: Gary is nice.[(((((((((((triple10 triple12) -> rule7) triple12) -> rule6) ((triple10 triple12) -> rule7) triple11) -> rule2) triple10 triple12) -> rule3) triple11 triple10) -> rule5))]