Alan is a big and round man with blue eyes. He is rough at times, making him a cold and blue person. Charlie is a very nice man who is kind to everyone and has a round body that makes him feel blue when he wears red. Gary has been blue because he's green with envy. If you come across a cold, red person with a round shape you'll find they are nice people. When someone is big and red, they are also green. If you paint someone who is round blue and green, they must be young. Big green and young people are often nice. A blue person in color will be a cold temperature, big in shape and will definitely be green. A person that is big and rough will certainly be blue. When I see a young child who plays rough on the playground with others and has cold hands, I know it means they are kind.
Alan is not nice.
@0: Alan is big.[(triple5)] Alan is blue.[(triple4 OR ((triple2 triple5) -> rule6))] Alan is cold.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is blue.[(triple10)] Charlie is kind.[(triple9)] Charlie is nice.[(triple8)] Charlie is red.[(triple7)] Charlie is round.[(triple6)] Gary is blue.[(triple12)] Gary is green.[(triple11)] @1: Alan is green.[(((triple4 triple5 triple3) -> rule5) OR ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5))] @2: Alan is young.[(((triple4 triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule6) triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3) OR ((triple4 triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3) OR ((((triple2 triple5) -> rule6) triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3))] @3: Alan is kind.[(((triple2 ((triple4 triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3) triple3) -> rule7) OR ((triple2 ((((triple2 triple5) -> rule6) triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3) triple3) -> rule7) OR ((triple2 ((triple4 triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3) triple3) -> rule7) OR ((triple2 ((((triple2 triple5) -> rule6) triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3) triple3) -> rule7))] Alan is nice.[(((triple5 ((triple4 triple5 triple3) -> rule5) ((triple4 triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((triple4 triple5 triple3) -> rule5) ((((triple2 triple5) -> rule6) triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5) ((triple4 triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5) ((((triple2 triple5) -> rule6) triple1 ((triple4 triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((triple4 triple5 triple3) -> rule5) ((triple4 triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((triple4 triple5 triple3) -> rule5) ((((triple2 triple5) -> rule6) triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5) ((triple4 triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3)) -> rule4) OR ((triple5 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5) ((((triple2 triple5) -> rule6) triple1 ((((triple2 triple5) -> rule6) triple5 triple3) -> rule5)) -> rule3)) -> rule4))]