Young Alan is wearing green pants. Charlie wears all blue. Because Eric gets cold easily he tends to appear round from bundling up. Even though he's a big dude, Fred is cold. Kind, rough people who are nice are also cold. Anyone that's rough and cold is also going to be blue. People who are big and kind and feel down and blue tend to have rough skin. A green person is going to be rough. A person with a round body will be feeling very cold and will be rough to handle. Anyone who's blue is also green. People who are cold and and red are also young and kind.
Eric is not green.
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Charlie is blue.[(triple3)] Eric is cold.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple7)] Fred is cold.[(triple6)] @1: Alan is rough.[(((triple2) -> rule4))] Charlie is green.[(((triple3) -> rule6))] Eric is rough.[(((triple5 triple4) -> rule5))] @2: Charlie is rough.[(((((triple3) -> rule6)) -> rule4))] Eric is blue.[(((triple5 ((triple5 triple4) -> rule5)) -> rule2))] @3: Eric is green.[(((((triple5 ((triple5 triple4) -> rule5)) -> rule2)) -> rule6))]