Thankfully Alan is nice. People have realized that he is big and rough. Since he is young he has tendency to become red when they mention it. Eric seems to be round. Fred seems to be round. Young round people who are green are usually blue. Every single big person is a little green in some areas. A nice young person who is big can be considered round. When someone is green and round, they can be rough but kind. People that are rough and red in the face, are usually big in size. A round shaped kind person who is colored green will be cold natured. A person who is rough and young while being kind tends to be red.
Fred is big.
@0: Alan is big.[(triple5 OR ((triple3 triple2) -> rule5))] Alan is nice.[(triple4)] Alan is red.[(triple3 OR ((((((triple5) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4) triple2 triple1) -> rule7))] Alan is rough.[(triple2)] Alan is young.[(triple1)] Eric is round.[(triple6)] Fred is round.[(triple7)] @1: Alan is green.[(((triple5) -> rule2) OR ((((triple3 triple2) -> rule5)) -> rule2))] Alan is round.[(((triple4 triple5 triple1) -> rule3) OR ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3))] @2: Alan is blue.[(((((triple4 triple5 triple1) -> rule3) triple1 ((triple5) -> rule2)) -> rule1) OR ((((triple4 triple5 triple1) -> rule3) triple1 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule1) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple1 ((triple5) -> rule2)) -> rule1) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple1 ((((triple3 triple2) -> rule5)) -> rule2)) -> rule1))] Alan is kind.[(((((triple5) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4) OR ((((triple5) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4) OR ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4) OR ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4))] @3: Alan is cold.[(((((triple4 triple5 triple1) -> rule3) ((triple5) -> rule2) ((((triple5) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((triple5) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((triple5) -> rule2) ((((triple5) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((triple5) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((triple5) -> rule2) ((((triple5) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((triple5) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((triple5) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((triple5) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((triple5) -> rule2) ((((triple5) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((triple5) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 triple5 triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((triple5) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((triple5) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 triple5 triple1) -> rule3) triple2) -> rule4)) -> rule6) OR ((((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) ((((triple3 triple2) -> rule5)) -> rule2) ((((((triple3 triple2) -> rule5)) -> rule2) ((triple4 ((triple3 triple2) -> rule5) triple1) -> rule3) triple2) -> rule4)) -> rule6))]