Alan seems to be round. Dave is young and green. This makes him cold to others. Young Fred has a round form, believes in green and is rough. Rough people who are red in color and big are usally round in shape. Even though young people are rough, they are still very red. Anybody young person covered in blue and green will be kind. When rough and kind can describe a person, then cold will describe them, too. People turn green when they are feeling blue. Watch out for young people that are kind for they are rough. Kind red and round people often look green.
Alan is not blue.
@0: Alan is round.[(triple1)] Dave is cold.[(triple4 OR ((((triple2 ((triple3) -> rule5) triple3) -> rule3) ((((triple2 ((triple3) -> rule5) triple3) -> rule3) triple2) -> rule6)) -> rule4))] Dave is green.[(triple3)] Dave is young.[(triple2)] Fred is green.[(triple8)] Fred is rough.[(triple7 OR ((((triple5 ((triple8) -> rule5) triple8) -> rule3) triple5) -> rule6))] Fred is round.[(triple6)] Fred is young.[(triple5)] @1: Dave is blue.[(((triple3) -> rule5))] Fred is blue.[(((triple8) -> rule5))] Fred is red.[(((triple7 triple5) -> rule2) OR ((((((triple5 ((triple8) -> rule5) triple8) -> rule3) triple5) -> rule6) triple5) -> rule2))] @2: Dave is kind.[(((triple2 ((triple3) -> rule5) triple3) -> rule3))] Fred is kind.[(((triple5 ((triple8) -> rule5) triple8) -> rule3))] @3: Dave is rough.[(((((triple2 ((triple3) -> rule5) triple3) -> rule3) triple2) -> rule6))] Fred is cold.[(((((triple5 ((triple8) -> rule5) triple8) -> rule3) triple7) -> rule4) OR ((((triple5 ((triple8) -> rule5) triple8) -> rule3) ((((triple5 ((triple8) -> rule5) triple8) -> rule3) triple5) -> rule6)) -> rule4))] @4: Dave is red.[(((((((triple2 ((triple3) -> rule5) triple3) -> rule3) triple2) -> rule6) triple2) -> rule2))]