Alan is feeling cold -- he is also feeling quite rough, red, nice and round. Rough and cold that is what they say about Blue Eric. Fred is a big guy who is colored red from a sunburn. He also has a cold. A person that is both nice and rough is someone who is also big. Big people with red hair are cold because they cannot find coats that fit. Do not fear big cold people for they are often kind. Young people who feel cold and are still kind usually look rough. Is a kind person if feeling cold and looking red then they are usually young. A cold blue person who is rough is also kind.
Alan is green.
@0: Alan is cold.[(triple5 OR ((triple3 ((triple2 triple4) -> rule1)) -> rule2))] Alan is nice.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Eric is blue.[(triple8)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Fred is big.[(triple11)] Fred is cold.[(triple10 OR ((triple9 triple11) -> rule2))] Fred is red.[(triple9)] @1: Alan is big.[(((triple2 triple4) -> rule1))] Eric is kind.[(((triple8 triple7 triple6) -> rule6))] Fred is kind.[(((triple10 triple11) -> rule3) OR ((((triple9 triple11) -> rule2) triple11) -> rule3))] @2: Alan is kind.[(((triple5 ((triple2 triple4) -> rule1)) -> rule3) OR ((((triple3 ((triple2 triple4) -> rule1)) -> rule2) ((triple2 triple4) -> rule1)) -> rule3))] Fred is young.[(((triple10 triple9 ((triple10 triple11) -> rule3)) -> rule5) OR ((((triple9 triple11) -> rule2) triple9 ((triple10 triple11) -> rule3)) -> rule5) OR ((triple10 triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5) OR ((((triple9 triple11) -> rule2) triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5))] @3: Alan is young.[(((triple5 triple3 ((triple5 ((triple2 triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple3 ((triple2 triple4) -> rule1)) -> rule2) triple3 ((triple5 ((triple2 triple4) -> rule1)) -> rule3)) -> rule5) OR ((triple5 triple3 ((((triple3 ((triple2 triple4) -> rule1)) -> rule2) ((triple2 triple4) -> rule1)) -> rule3)) -> rule5) OR ((((triple3 ((triple2 triple4) -> rule1)) -> rule2) triple3 ((((triple3 ((triple2 triple4) -> rule1)) -> rule2) ((triple2 triple4) -> rule1)) -> rule3)) -> rule5))] Fred is rough.[(((triple10 ((triple10 triple11) -> rule3) ((triple10 triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((triple10 triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((((triple9 triple11) -> rule2) triple11) -> rule3) ((triple10 triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((triple10 triple11) -> rule3) ((triple10 triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((((triple9 triple11) -> rule2) triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((triple10 triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2) triple11) -> rule3) ((triple10 triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2) triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((triple10 triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((triple10 triple11) -> rule3) ((triple10 triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((triple10 triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((((triple9 triple11) -> rule2) triple11) -> rule3) ((triple10 triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((triple10 triple11) -> rule3) ((triple10 triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((triple10 ((((triple9 triple11) -> rule2) triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((triple10 triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2) triple11) -> rule3) ((triple10 triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4) OR ((((triple9 triple11) -> rule2) ((((triple9 triple11) -> rule2) triple11) -> rule3) ((((triple9 triple11) -> rule2) triple9 ((((triple9 triple11) -> rule2) triple11) -> rule3)) -> rule5)) -> rule4))]