Eric is nice to people because he is a kind person. The past few weeks of bad weather have him blue, though. Fred tends to be blue because he is big and this makes him a little rough around the edges. Gary, who is nice and green, is also cold and blue. Blue people are known the world over as nice people. Round blue people are said to be very kind. People here that are big, young and blue will be red too. A young aged rough person that is big in shape will be the color blue. Nice blue people are usually round in shape. A human being that's blue, rough and big is also going to be a cold human being. A person that is green, cold and nice will also be blue.
Fred is not kind.
@0: Eric is blue.[(triple3)] Eric is kind.[(triple2 OR ((triple3 ((triple1 triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple3) -> rule1) triple3) -> rule5)) -> rule2))] Eric is nice.[(triple1 OR ((triple3) -> rule1))] Fred is big.[(triple6)] Fred is blue.[(triple5)] Fred is rough.[(triple4)] Gary is blue.[(triple10 OR ((triple8 triple9 triple7) -> rule7))] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is nice.[(triple7 OR ((triple10) -> rule1))] @1: Eric is round.[(((triple1 triple3) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule5))] Fred is cold.[(((triple6 triple5 triple4) -> rule6))] Fred is nice.[(((triple5) -> rule1))] Gary is round.[(((triple7 triple10) -> rule5) OR ((triple7 ((triple8 triple9 triple7) -> rule7)) -> rule5) OR ((((triple10) -> rule1) triple10) -> rule5) OR ((((triple10) -> rule1) ((triple8 triple9 triple7) -> rule7)) -> rule5))] @2: Fred is round.[(((((triple5) -> rule1) triple5) -> rule5))] Gary is kind.[(((triple10 ((triple7 triple10) -> rule5)) -> rule2) OR ((((triple8 triple9 triple7) -> rule7) ((triple7 triple10) -> rule5)) -> rule2) OR ((triple10 ((triple7 ((triple8 triple9 triple7) -> rule7)) -> rule5)) -> rule2) OR ((triple10 ((((triple10) -> rule1) triple10) -> rule5)) -> rule2) OR ((triple10 ((((triple10) -> rule1) ((triple8 triple9 triple7) -> rule7)) -> rule5)) -> rule2) OR ((((triple8 triple9 triple7) -> rule7) ((triple7 ((triple8 triple9 triple7) -> rule7)) -> rule5)) -> rule2) OR ((((triple8 triple9 triple7) -> rule7) ((((triple10) -> rule1) triple10) -> rule5)) -> rule2) OR ((((triple8 triple9 triple7) -> rule7) ((((triple10) -> rule1) ((triple8 triple9 triple7) -> rule7)) -> rule5)) -> rule2))] @3: Fred is kind.[(((triple5 ((((triple5) -> rule1) triple5) -> rule5)) -> rule2))]