People think that Alan is round. This might be because he is young and blue. Bob is big and rough. Dave is too round for someone so young. Also, he is sometimes red and sometimes green. Red Fred is what folks call him, because he is quite red. A person who is described as round and rough is usually kind. Nice, green people that are somewhat round are big through the shoulders. A young someone is red in thought but green in ideas. When you know someone who is young and green you can count on them being nice to everyone. Green people here that are also round and nice are always rough. Nice young people who are always cold end up also being big.
Fred is rough.
@0: Alan is blue.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is big.[(triple5)] Bob is rough.[(triple4)] Dave is green.[(triple9 OR ((triple8 triple6) -> rule3))] Dave is red.[(triple8)] Dave is round.[(triple7)] Dave is young.[(triple6)] Fred is red.[(triple10)] @1: Dave is nice.[(((triple6 triple9) -> rule4) OR ((triple6 ((triple8 triple6) -> rule3)) -> rule4))] @2: Dave is big.[(((triple9 ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 triple9) -> rule4) triple7) -> rule2) OR ((triple9 ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2) OR ((((triple8 triple6) -> rule3) ((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7) -> rule2))] Dave is rough.[(((((triple6 triple9) -> rule4) triple7 triple9) -> rule5) OR ((((triple6 triple9) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5) OR ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 triple9) -> rule5) OR ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5))] @3: Dave is kind.[(((triple7 ((((triple6 triple9) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 triple9) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 triple9) -> rule5)) -> rule1) OR ((triple7 ((((triple6 ((triple8 triple6) -> rule3)) -> rule4) triple7 ((triple8 triple6) -> rule3)) -> rule5)) -> rule1))]