Charlie is a kind person and he is also often cold. Dave seems to be round. That person with the super big round body wearing red and green clothes who is acting quite nice towards you while being cold and feeling blue is named Fred. Gary is a kind person and he is also often cold. A green person that is red and blue are known for their rough skin. If someone has a kind disposition and looks rather round and rough then you'll find that they're actually quite young. Someone that is cold rough and red is also considered to be kind. A person that is very big and also the color red they will also be blue. People who are round and behave in a cold way are surely blue.
Dave is not blue.
@0: Charlie is cold.[(triple2)] Charlie is kind.[(triple1)] Dave is round.[(triple3)] Fred is big.[(triple10)] Fred is blue.[(triple9 OR ((triple10 triple5) -> rule4) OR ((triple4 triple8) -> rule5))] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] Gary is cold.[(triple12)] Gary is kind.[(triple11)] @1: Fred is rough.[(((triple7 triple5 triple9) -> rule1) OR ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1) OR ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1))] @2: Fred is kind.[(((triple5 ((triple7 triple5 triple9) -> rule1) triple8) -> rule3) OR ((triple5 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1) triple8) -> rule3) OR ((triple5 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1) triple8) -> rule3))] @3: Fred is young.[(((((triple5 ((triple7 triple5 triple9) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 triple9) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 triple9) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 triple9) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 triple9) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 triple9) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 ((triple10 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((triple5 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1) triple8) -> rule3) triple4 ((triple7 triple5 ((triple4 triple8) -> rule5)) -> rule1)) -> rule2))]