Eric is big for being as young as he is. You will also notice how he is green and red. To the touch Fred has rough, cold skin. In the snow sits Gary, crying from being cold. Rough Harry can be nice and kind looking green. Everyone that is rough but also kind will be green. A kind, round person will surely be red as well. Any human being with green, big, kind eyes, also has round eyes. Green people with red round cheeks are young. Kind people,though green,tend to be nice. A very nice and kind person will also be round shaped.
Harry is big.
@0: Eric is big.[(triple4)] Eric is green.[(triple3)] Eric is red.[(triple2)] Eric is young.[(triple1)] Fred is cold.[(triple6)] Fred is rough.[(triple5)] Gary is cold.[(triple7)] Harry is green.[(triple11 OR ((triple10 triple8) -> rule1))] Harry is kind.[(triple10)] Harry is nice.[(triple9 OR ((triple10 triple11) -> rule5) OR ((triple10 ((triple10 triple8) -> rule1)) -> rule5))] Harry is rough.[(triple8)] @1: Harry is round.[(((triple9 triple10) -> rule6) OR ((((triple10 triple11) -> rule5) triple10) -> rule6) OR ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6))] @2: Harry is red.[(((triple10 ((triple9 triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) OR ((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2))] @3: Harry is young.[(((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((triple9 triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((triple9 triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) triple11 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 triple11) -> rule5) triple10) -> rule6)) -> rule4) OR ((((triple10 ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule2) ((triple10 triple8) -> rule1) ((((triple10 ((triple10 triple8) -> rule1)) -> rule5) triple10) -> rule6)) -> rule4))]